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.
Author(s): Adam Granicz (auth.), Zoltán Horváth, Rinus Plasmeijer, Viktória Zsók (eds.)
Series: Lecture Notes in Computer Science 6299 : Theoretical Computer Science and General Issues
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2010
Language: English
Pages: 391
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Computer Communication Networks
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 -
