CEFP 2009:
Budapest,
Hungary / Komárno,
Slovakia
Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók (Eds.):
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 
- Adam Granicz:
Rapid Prototyping of DSLs with F#.
1-18
- Francesco Cesarini, Simon J. Thompson:
Erlang Behaviours: Programming with Process Design Patterns.
19-41
- Ralf Hinze:
Reasoning about Codata.
42-93
- 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
- Péter Diviánszky:
Non-monadic Models of Mutable References.
146-182
- John Hughes:
Software Testing with QuickCheck.
183-223
- Pieter W. M. Koopman, Rinus Plasmeijer, Peter Achten:
An Effective Methodology for Defining Consistent Semantics of Complex Systems.
224-267
- Andrew Kennedy:
Types for Units-of-Measure: Theory and Practice.
268-305
- Zoltán Porkoláb:
Functional Programming with C++ Template Metaprograms.
306-353
- Gergely Dévai:
Embedding a Proof System in Haskell.
354-371
- 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
Last update Tue May 22 23:23:33 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
