Advertisement

© 2008

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
Textbook CEFP 2007

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

Introduction

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.

Keywords

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

Industry Sectors
Pharma
Automotive
Biotechnology
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Finance, Business & Banking
Electronics
Oil, Gas & Geosciences
Engineering