CEFP 2007: Cluj-Napoca, Romania

Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók (Eds.): Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures. Lecture Notes in Computer Science 5161 Springer 2008, ISBN 978-3-540-88058-5

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
An Introduction to iTasks: Defining Interactive Work Flows for the Web. 1-40
Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Proving Properties of Lazy Functional Programs with Sparkle. 41-86
Zoltán Csörnyei, Gergely Dévai:
An Introduction to the Lambda Calculus. 87-111
Werner E. Kluge:
Abstract lambda-Calculus Machines. 112-157
Tim Sheard, Nathan Linger:
Programming in Omega. 158-227
Horia F. Pop:
A Tutorial on Object-Oriented Functional Programming. 228-249
Tamás Kozsik, Zoltán Csörnyei, Zoltán Horváth, Roland Király, Róbert Kitlei, László Lövei, Tamás Nagy, Melinda Tóth, Anikó Víg:
Use Cases for Refactoring in Erlang. 250-285
Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer:
From Interpretation to Compilation. 286-301