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

This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009. The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages. Front Matter....Pages - Rapid Prototyping of DSLs with F#....Pages 1-18 Erlang Behaviours: Programming with Process Design Patterns....Pages 19-41 Reasoning about Codata....Pages 42-93 Programming in Manticore, a Heterogenous Parallel Functional Language....Pages 94-145 Non-monadic Models of Mutable References....Pages 146-182 Software Testing with QuickCheck....Pages 183-223 An Effective Methodology for Defining Consistent Semantics of Complex Systems....Pages 224-267 Types for Units-of-Measure: Theory and Practice....Pages 268-305 Functional Programming with C++ Template Metaprograms....Pages 306-353 Embedding a Proof System in Haskell....Pages 354-371 Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs....Pages 372-390 Back Matter....Pages - This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komarno, Slovakia. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages.