![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
CEFP 2005: Budapest, Hungary
- Zoltán Horváth:
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.