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

  • Zoltán Horváth
  • Rinus Plasmeijer
  • Viktória Zsók
Textbook CEFP 2009

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6299)

Table of contents

  1. Front Matter
  2. Adam Granicz
    Pages 1-18
  3. Francesco Cesarini, Simon Thompson
    Pages 19-41
  4. Ralf Hinze
    Pages 42-93
  5. Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rainey, John Reppy, Adam Shaw et al.
    Pages 94-145
  6. Péter Diviánszky
    Pages 146-182
  7. John Hughes
    Pages 183-223
  8. Pieter Koopman, Rinus Plasmeijer, Peter Achten
    Pages 224-267
  9. Gergely Dévai
    Pages 354-371
  10. Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik
    Pages 372-390
  11. Back Matter

About this book


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.


C++ Erlang F# Haskell Manticore consistency design patterns functional programming parallel programming programming languages rapid prototyping software engineering software testing

Editors and affiliations

  • Zoltán Horváth
    • 1
  • Rinus Plasmeijer
    • 2
  • Viktória Zsók
    • 1
  1. 1.Faculty of Informatics, Department of Programming Languages and CompilersEötvös Loránd UniversityBudapestHungary
  2. 2.Institute for Computing and Information SciencesRadboud University NijmegenNijmegenThe Netherlands

Bibliographic information

Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment