TY  - BOOK
AU  - Horváth,Zoltán
AU  - Plasmeijer,Rinus
AU  - Soós,Anna
AU  - Zsók,Viktória
ED  - SpringerLink (Online service)
TI  - Central European Functional Programming School: Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures 
T2  - Lecture Notes in Computer Science,
SN  - 9783540880592
AV  - QA76.7-76.73 
U1  - 005.13 23
PY  - 2008///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Software engineering
KW  - Information theory
KW  - Computer Science
KW  - Programming Languages, Compilers, Interpreters
KW  - Programming Techniques
KW  - Software Engineering
KW  - Mathematical Logic and Formal Languages
KW  - Theory of Computation
KW  - Models and Principles
N1  - 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
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-540-88059-2
ER  -