Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Title:
Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures
Author:
Horváth, Zoltán. editor.
ISBN:
9783540468455
Physical Description:
VII, 257 p. Also available online. online resource.
Series:
Lecture Notes in Computer Science, 4164
Contents:
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.
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/11894100