Central European Functional Programming School

Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures

  • Zoltán Horváth
  • Rinus Plasmeijer
  • Anna Soós
  • Viktória Zsók

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

Table of contents

  1. Front Matter
  2. Rinus Plasmeijer, Peter Achten, Pieter Koopman
    Pages 1-40
  3. Maarten de Mol, Marko van Eekelen, Rinus Plasmeijer
    Pages 41-86
  4. Zoltán Csörnyei, Gergely Dévai
    Pages 87-111
  5. Werner E. Kluge
    Pages 112-157
  6. Tim Sheard, Nathan Linger
    Pages 158-227
  7. Tamás Kozsik, Zoltán Csörnyei, Zoltán Horváth, Roland Király, Róbert Kitlei, László Lövei et al.
    Pages 250-285
  8. Jan Martin Jansen, Pieter Koopman, Rinus Plasmeijer
    Pages 286-301
  9. Back Matter

About this book


This volume presents eight carefully revised texts from selected lectures given by leading researchers at the Second Central European Functional Programming School, CEFP 2007, held in Cluj-Napoca, Romania, in June 2007.

The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as interactive workflows, lazy functional programs, lambda calculus, and object-oriented functional programming.


erlang functional programming itasks programming proving refactoring sparkle web programming

Editors and affiliations

  • Zoltán Horváth
    • 1
  • Rinus Plasmeijer
    • 2
  • Anna Soós
    • 3
  • Viktória Zsók
    • 4
  1. 1.Dept. of Programming Languages and CompilersHungary
  2. 2.Radboud Universiteit NijmegenNetherlands
  3. 3.Babeş-Bolyai UniversityCluj-NapocaRomania
  4. 4.Faculty of InformaticsEötvös Loránd UniversityBudapestHungary

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-88058-5
  • Online ISBN 978-3-540-88059-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site