Central European functional programming school
Subtitle: second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, revised selected lectures
By: [edited by] Zoltán Horváth, Rinus Plasmeijer, Anna Soos.
Contributors: Horvt̀h, Zoltán.
Series: Lecture notes in computer science -- 5161; Tutorial
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 301
ISBN-13: 9783540880585
Subjects: Functional programming (Computer science) -- Congresses
Genres: Congresses
Other titles: CEFP 2007
Notes: "This volume presents the revised lecture notes of selected talks given a the second  Central European Functional Programming School, CEFP 2007, held June 23-30, 2007 at Babes-Bolyai University, Cluj-Napoca, Romania"--Preface.
Table of contents: title: An Introduction to iTasks Defining interactive work flows for the web / Rinus Plasmeijer, Peter Achten and Pieter Koopman; title: Proving Properties of Lazy Functional Programs with Sparkle / Maarten de Mol, Marko van Eekelen and Rinus Plasmeijer; title: An Introduction to the Lambda Calculus / Zoltan Csornyei and Gergely Devai; title: Abstract Lambda-Calculus Machines /  Werner E. Kluge; title: Programming in Omega  / Tim Sheard and Nathan Linger; title: A Tutorial on Object-Oriented Functional Programming /  Horia F. Pop; title: Use Cases for Refactoring in Erlang  / Tamas Kozsik, Zoltan Csornyei, Zoltan Horvath, Roland Kiraly, Robert Kitlei, Laszlo Lovei, Tamas Nagy, Melinda Toth and Aniko Vig; title: From Interpretation to Compilation  / Jan Martin Jansen, Pieter Koopman and Rinus Plasmeijer.