Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók
Revised Selected Papers of the Second Central European Functional Programming School
CEFP, 2007.

@proceedings{CEFP-2007,
	address       = "Cluj-Napoca, Romania",
	editor        = "Zoltán Horváth and Rinus Plasmeijer and Anna Soós and Viktória Zsók",
	isbn          = "978-3-540-88058-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the Second Central European Functional Programming School}",
	volume        = 5161,
	year          = 2007,
}

Event page: http://www.cs.ubbcluj.ro/cefp2007/

Contents (8 items)

2 ×#functional
2 ×#programming
2 ×#λ-calculus

CEFP-2007-PlasmeijerAK #interactive #web

An Introduction to iTasks: Defining Interactive Work Flows for the Web (RP, PA, PWMK), pp. 1–40.

CEFP-2007-MolEP #functional #lazy evaluation #proving #source code

Proving Properties of Lazy Functional Programs with Sparkle (MdM, MCJDvE, RP), pp. 41–86.

CEFP-2007-CsornyeiD #λ-calculus

An Introduction to the λ Calculus (ZC, GD), pp. 87–111.

CEFP-2007-Kluge #λ-calculus

Abstract λ-Calculus Machines (WEK), pp. 112–157.

CEFP-2007-SheardL #programming

Programming in Ωmega (TS, NL), pp. 158–227.

CEFP-2007-Pop #functional #object-oriented #programming #tutorial

A Tutorial on Object-Oriented Functional Programming (HFP), pp. 228–249.

CEFP-2007-KozsikCHKKLNTV #case study #erlang #refactoring

Use Cases for Refactoring in Erlang (TK, ZC, ZH, RK, RK, LL, TN, MT, ANV), pp. 250–285.

CEFP-2007-JansenKP #compilation

From Interpretation to Compilation (JMJ, PWMK, RP), pp. 286–301.