Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures / [electronic resource] :
edited by Anna Soós.
- 1st ed. 2008.
- VII, 303 p. online resource.
- Theoretical Computer Science and General Issues, 5161 2512-2029 ; .
- Theoretical Computer Science and General Issues, 5161 .
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.
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.
9783540880592
10.1007/978-3-540-88059-2 doi
Compilers (Computer programs).
Computer programming.
Software engineering.
Machine theory.
Computer science.
Compilers and Interpreters.
Programming Techniques.
Software Engineering.
Formal Languages and Automata Theory.
Theory of Computation.
QA76.76.C65
005.45
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.
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.
9783540880592
10.1007/978-3-540-88059-2 doi
Compilers (Computer programs).
Computer programming.
Software engineering.
Machine theory.
Computer science.
Compilers and Interpreters.
Programming Techniques.
Software Engineering.
Formal Languages and Automata Theory.
Theory of Computation.
QA76.76.C65
005.45