Central European Functional Programming School, 2012 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateurs : Zsók Viktória, Horváth Zoltán, Plasmeijer Rinus
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 .
Features top-quality selected papers
Uniquely high-profile
Includes state-of-the-art research
Date de parution : 07-2012
Ouvrage de 533 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierMots-clés :
Erlang; Haskell; concurrent programming; functional programs; software engineering