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

9783642320958, 9783642320965

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parallel and Concurrent Programming in Haskell

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

10.1007/978-3-642-32096-5_7 ◽

2012 ◽

pp. 339-401 ◽

Cited By ~ 31

Author(s):

Simon Marlow

Keyword(s):

Concurrent Programming

Download Full-text

Extending Little Languages into Big Systems

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

10.1007/978-3-642-32096-5_10 ◽

2012 ◽

pp. 499-516

Author(s):

Gábor Páli

Download Full-text

Static Analysis of Complex Software Systems Implemented in Erlang

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

10.1007/978-3-642-32096-5_9 ◽

2012 ◽

pp. 440-498 ◽

Cited By ~ 9

Author(s):

Melinda Tóth ◽

István Bozó

Keyword(s):

Static Analysis ◽

Software Systems

Download Full-text

Single Assignment C (SAC) High Productivity Meets High Performance

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

10.1007/978-3-642-32096-5_5 ◽

2012 ◽

pp. 207-278 ◽

Cited By ~ 9

Author(s):

Clemens Grelck

Keyword(s):

High Performance ◽

High Productivity ◽

Single Assignment ◽

Single Assignment C

Download Full-text

Reasoning about I/O in Functional Programs

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

10.1007/978-3-642-32096-5_3 ◽

2012 ◽

pp. 93-141

Author(s):

Andrew Butterfield

Download Full-text

A Programming Tutor for Haskell

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

10.1007/978-3-642-32096-5_1 ◽

2012 ◽

pp. 1-45 ◽

Cited By ~ 4

Author(s):

Johan Jeuring ◽

Alex Gerdes ◽

Bastiaan Heeren

Download Full-text

Eden – Parallel Functional Programming with Haskell

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

10.1007/978-3-642-32096-5_4 ◽

2012 ◽

pp. 142-206 ◽

Cited By ~ 8

Author(s):

Rita Loogen

Keyword(s):

Functional Programming

Download Full-text

Reasoning about Multi-process Systems with the Box Calculus

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

10.1007/978-3-642-32096-5_6 ◽

2012 ◽

pp. 279-338 ◽

Cited By ~ 1

Author(s):

Greg Michaelson ◽

Gudmund Grov

Keyword(s):

Process Systems

Download Full-text

Feldspar: Application and Implementation

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

10.1007/978-3-642-32096-5_8 ◽

2012 ◽

pp. 402-439 ◽

Cited By ~ 2

Author(s):

Emil Axelsson ◽

Mary Sheeran

Download Full-text

Defining Multi-user Web Applications with iTasks

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

10.1007/978-3-642-32096-5_2 ◽

2012 ◽

pp. 46-92 ◽

Cited By ~ 1

Author(s):

Rinus Plasmeijer ◽

Peter Achten ◽

Bas Lijnse ◽

Steffen Michels

Keyword(s):

Web Applications

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Parallel and Concurrent Programming in Haskell

Extending Little Languages into Big Systems

Static Analysis of Complex Software Systems Implemented in Erlang

Single Assignment C (SAC) High Productivity Meets High Performance

Reasoning about I/O in Functional Programs

A Programming Tutor for Haskell

Eden – Parallel Functional Programming with Haskell

Reasoning about Multi-process Systems with the Box Calculus

Feldspar: Application and Implementation

Defining Multi-user Web Applications with iTasks

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