Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Title:
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures
Author:
Horváth, Zoltán. editor.
ISBN:
9783540880592
Physical Description:
online resource.
Series:
Lecture Notes in Computer Science, 5161
Contents:
An Introduction to iTasks: Defining Interactive Work Flows for the Web -- Proving Properties of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases for Refactoring in Erlang -- From Interpretation to Compilation.
Abstract:
This volume presents eight carefully revised texts from selected lectures given by leading researchers at the Second Central European Functional Programming School, CEFP 2007, held in Cluj-Napoca, Romania, in June 2007. The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as interactive workflows, lazy functional programs, lambda calculus, and object-oriented functional programming.
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-88059-2