Central European Functional Programming School
Description
More details
Other editions
Additional editions
Content
A Programming Tutor for Haskell. - Defining Multi-user Web Applications with iTasks. - Reasoning about I/O in Functional Programs. - Eden-Parallel Functional Programming with Haskell . - Single Assignment C (SAC): High Productivity Meets High Performance. - Reasoning about Multi-process Systems with the Box Calculus . - Parallel and Concurrent Programming in Haskell . - Feldspar: Application and Implementation . - Static Analysis of Complex Software Systems Implemented in Erlang . - Extending Little Languages into Big Systems . - Some New Approaches in Functional Programming Based on Categories .