Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures (eBook, 2006) [WorldCat.org]
skip to content
Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures Preview this item
ClosePreview this item
Checking...

Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures

Author: Zoltán Horváth
Publisher: Berlin ; New York : Springer, ©2006.
Series: Lecture notes in computer science, 4164.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:

This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the first Central European Functional Programming School, CEFP 2005, held in  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Print version:
Central European Functional Programming School (1st : 2005 : Budapest, Hungary).
Central European Functional Programming School.
Berlin ; New York : Springer, ©2006
(DLC) 2006935759
(OCoLC)80179790
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Zoltán Horváth
ISBN: 9783540468455 3540468455 3540468439 9783540468431 0896894924 9780896894921
OCLC Number: 262693902
Description: 1 online resource (256 pages) : illustrations
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.
Series Title: Lecture notes in computer science, 4164.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
Other Titles: CEFP 2005
Responsibility: Zoltán Horváth (ed.).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.