Revised Selected Papers of the Second Central European Functional Programming School
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

FP
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.