Syndetics cover image
Image from Syndetics

Central European Functional Programming School [electronic resource] : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures / by Zoltán Horváth.

By: Contributor(s): Material type: TextSeries: Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Edition: 1st ed. 2006Description: VII, 257 p. online resourceContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540468455
Subject(s): DDC classification:
  • 005.11 23
Online resources:
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.
No physical items for this record

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.

Licensed e-book