- Zoltán Porkoláb
:
Functional Programming with C++ Template Metaprograms. CEFP 2009: 306-353 - Melinda Tóth, István Bozó, Zoltán Horváth, László Lövei, Máté Tejfel, Tamás Kozsik:
Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. CEFP 2009: 372-390 - 2008
- Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók:
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 [contents] - 2007
- Zoltán Csörnyei, Gergely Dévai:
An Introduction to the Lambda Calculus. CEFP 2007: 87-111 - Jan Martin Jansen, Pieter W. M. Koopman, Rinus Plasmeijer:
From Interpretation to Compilation. CEFP 2007: 286-301 - Werner E. Kluge:
Abstract lambda-Calculus Machines. CEFP 2007: 112-157 - 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. CEFP 2007: 250-285 - Maarten de Mol, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
Proving Properties of Lazy Functional Programs with Sparkle. CEFP 2007: 41-86 - Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman:
An Introduction to iTasks: Defining Interactive Work Flows for the Web. CEFP 2007: 1-40 - Horia F. Pop:
A Tutorial on Object-Oriented Functional Programming. CEFP 2007: 228-249 - Tim Sheard, Nathan Linger:
Programming in Omega. CEFP 2007: 158-227 - 2006
- Zoltán Horváth:
Central European Functional Programming School, First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures. Lecture Notes in Computer Science 4164, Springer 2006, ISBN 3-540-46843-9 [contents] - 2005
- Kevin Hammond:
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. CEFP 2005: 100-134 - Pieter W. M. Koopman, Rinus Plasmeijer:
Fully Automatic Testing with Functions as Specifications. CEFP 2005: 35-61 - Tamás Kozsik:
Tutorial on Subtype Marks. CEFP 2005: 191-222 - Rinus Plasmeijer, Peter Achten:
Generic Editors for the World Wide Web. CEFP 2005: 1-34 - Sven-Bodo Scholz:
Functional Array Programming in SaC. CEFP 2005: 62-99 - Máté Tejfel, Zoltán Horváth, Tamás Kozsik:
Temporal Properties of Clean Programs Proven in Sparkle-T. CEFP 2005: 168-190 - Tarmo Uustalu, Varmo Vene:
The Essence of Dataflow Programming. CEFP 2005: 135-167 - Viktória Zsók, Zoltán Hernyák, Zoltán Horváth:
Designing Distributed Computational Skeletons in D-Clean and D-Box. CEFP 2005: 223-256
