default search action

combined dblp search
author search
venue search
publication search

ask others

CEFP 2009: Budapest, Hungary / Komárno, Slovakia

> Home > Conferences and Workshops > CEFP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cefp/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/2009
Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók:
Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures. Lecture Notes in Computer Science 6299, Springer 2010, ISBN 978-3-642-17684-5
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Granicz09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Granicz09
Adam Granicz:
Rapid Prototyping of DSLs with F#. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/CesariniT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/CesariniT09
Francesco Cesarini, Simon J. Thompson:
Erlang Behaviours: Programming with Process Design Patterns. 19-41
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Hinze09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Hinze09
Ralf Hinze:
Reasoning about Codata. 42-93
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/FluetBFRRSX09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/FluetBFRRSX09
Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John H. Reppy, Adam Shaw, Yingqi Xiao:
Programming in Manticore, a Heterogenous Parallel Functional Language. 94-145
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Divianszky09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Divianszky09
Péter Diviánszky:
Non-monadic Models of Mutable References. 146-182
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Hughes09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Hughes09
John Hughes:
Software Testing with QuickCheck. 183-223
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/KoopmanPA09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/KoopmanPA09
Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
An Effective Methodology for Defining Consistent Semantics of Complex Systems. 224-267
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Kennedy09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Kennedy09
Andrew Kennedy:
Types for Units-of-Measure: Theory and Practice. 268-305
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Porkolab09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Porkolab09
Zoltán Porkoláb:
Functional Programming with C++ Template Metaprograms. 306-353
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/Devai09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/Devai09
Gergely Dévai:
Embedding a Proof System in Haskell. 354-371
- view
  authority control:
- export record
  dblp key:
  - conf/cefp/TothBHLTK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cefp/TothBHLTK09
Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik:
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. 372-390

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.