CEFP 2005: Budapest, Hungary

Zoltán Horváth (Ed.): 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

Rinus Plasmeijer, Peter Achten:
Generic Editors for the World Wide Web. 1-34
Pieter W. M. Koopman, Rinus Plasmeijer:
Fully Automatic Testing with Functions as Specifications. 35-61
Sven-Bodo Scholz:
Functional Array Programming in SaC. 62-99
Kevin Hammond:
Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. 100-134
Tarmo Uustalu, Varmo Vene:
The Essence of Dataflow Programming. 135-167
Máté Tejfel, Zoltán Horváth, Tamás Kozsik:
Temporal Properties of Clean Programs Proven in Sparkle-T. 168-190
Tamás Kozsik:
Tutorial on Subtype Marks. 191-222
Viktória Zsók, Zoltán Hernyák, Zoltán Horváth:
Designing Distributed Computational Skeletons in D-Clean and D-Box. 223-256