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

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642320958, 9783642320965
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Programming Tutor for Haskell

2012 ◽  
pp. 1-45 ◽  
Author(s):  
Johan Jeuring ◽  
Alex Gerdes ◽  
Bastiaan Heeren

scholarly journals Reasoning about Multi-process Systems with the Box Calculus

2012 ◽  
pp. 279-338 ◽  
Author(s):  
Greg Michaelson ◽  
Gudmund Grov
Keyword(s):  
Process Systems

scholarly journals Feldspar: Application and Implementation

2012 ◽  
pp. 402-439 ◽  
Author(s):  
Emil Axelsson ◽  
Mary Sheeran

Defining Multi-user Web Applications with iTasks

2012 ◽  
pp. 46-92 ◽  
Author(s):  
Rinus Plasmeijer ◽  
Peter Achten ◽  
Bas Lijnse ◽  
Steffen Michels
Keyword(s):  
Web Applications
Load More ...
Sign in / Sign up

Export Citation Format

Share Document