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ó Nagyné 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

Last update Sat May 25 02:12:28 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page