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 BibTeX
- Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
An Introduction to iTasks: Defining Interactive Work Flows for the Web.
1-40
Electronic Edition (link) BibTeX
- Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Proving Properties of Lazy Functional Programs with Sparkle.
41-86
Electronic Edition (link) BibTeX
- Zoltán Csörnyei, Gergely Dévai:
An Introduction to the Lambda Calculus.
87-111
Electronic Edition (link) BibTeX
- Werner E. Kluge:
Abstract lambda-Calculus Machines.
112-157
Electronic Edition (link) BibTeX
- Tim Sheard, Nathan Linger:
Programming in Omega.
158-227
Electronic Edition (link) BibTeX
- Horia F. Pop:
A Tutorial on Object-Oriented Functional Programming.
228-249
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer:
From Interpretation to Compilation.
286-301
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:01:06 2009
by Michael Ley (ley@uni-trier.de)
