Central European Functional Programming School - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540468431, 9783540468455

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tutorial on Subtype Marks

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/11894100_7 ◽

2006 ◽

pp. 191-222 ◽

Cited By ~ 1

Author(s):

Tamás Kozsik

Download Full-text

The Essence of Dataflow Programming

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/11894100_5 ◽

2006 ◽

pp. 135-167 ◽

Cited By ~ 11

Author(s):

Tarmo Uustalu ◽

Varmo Vene

Keyword(s):

Dataflow Programming

Download Full-text

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/11894100_4 ◽

2006 ◽

pp. 100-134 ◽

Cited By ~ 4

Author(s):

Kevin Hammond

Keyword(s):

Functional Programming

Download Full-text

Functional Array Programming in SaC

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/11894100_3 ◽

2006 ◽

pp. 62-99 ◽

Cited By ~ 1

Author(s):

Sven-Bodo Scholz

Download Full-text

Fully Automatic Testing with Functions as Specifications

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/11894100_2 ◽

2006 ◽

pp. 35-61 ◽

Cited By ~ 7

Author(s):

Pieter Koopman ◽

Rinus Plasmeijer

Keyword(s):

Automatic Testing ◽

Fully Automatic

Download Full-text

Temporal Properties of Clean Programs Proven in Sparkle-T

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/11894100_6 ◽

2006 ◽

pp. 168-190

Author(s):

Máté Tejfel ◽

Zoltán Horváth ◽

Tamás Kozsik

Keyword(s):

Temporal Properties

Download Full-text

Designing Distributed Computational Skeletons in D-Clean and D-Box

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/11894100_8 ◽

2006 ◽

pp. 223-256 ◽

Cited By ~ 1

Author(s):

Viktória Zsók ◽

Zoltán Hernyák ◽

Zoltán Horváth

Download Full-text

Generic Editors for the World Wide Web

Central European Functional Programming School - Lecture Notes in Computer Science ◽

10.1007/11894100_1 ◽

2006 ◽

pp. 1-34 ◽

Cited By ~ 1

Author(s):

Rinus Plasmeijer ◽

Peter Achten

Keyword(s):

World Wide Web ◽

World Wide ◽

The World

Download Full-text

Central European Functional Programming School - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Tutorial on Subtype Marks

The Essence of Dataflow Programming

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach

Functional Array Programming in SaC

Fully Automatic Testing with Functions as Specifications

Temporal Properties of Clean Programs Proven in Sparkle-T

Designing Distributed Computational Skeletons in D-Clean and D-Box

Generic Editors for the World Wide Web

Central European Functional Programming School - Lecture Notes in Computer Science
Latest Publications