TY  - BOOK
AU  - Horváth,Zoltán
ED  - SpringerLink (Online service)
TI  - Central European Functional Programming School: First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures 
T2  - Lecture Notes in Computer Science,
SN  - 9783540468455
AV  - QA76.6-76.66 
U1  - 005.11 23
PY  - 2006///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Computer Science
KW  - Programming Techniques
KW  - Programming Languages, Compilers, Interpreters
KW  - Software Engineering
N1  - Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications -- Functional Array Programming in SaC -- Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach -- The Essence of Dataflow Programming -- Temporal Properties of Clean Programs Proven in Sparkle-T -- Tutorial on Subtype Marks -- Designing Distributed Computational Skeletons in D-Clean and D-Box
UR  - http://dx.doi.org/10.1007/11894100
ER  -