Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Horváth, Zoltán (Editor), Plasmeijer, Rinus (Editor), Soós, Anna (Editor), Zsók, Viktória (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Lecture Notes in Computer Science, 5161
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Computers.; Mathematical logic.; Computer Science.; Programming Languages, Compilers, Interpreters.; Programming Techniques.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Mathematical Logic and Formal Languages.; Theory of Computation.

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 round...

Table of 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.