Zoltán Horváth
Revised Selected Papers of the First Central European Functional Programming School
CEFP, 2005.

@proceedings{CEFP-2005,
	address       = "Budapest, Hungary",
	editor        = "Zoltán Horváth",
	isbn          = "3-540-46843-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the First Central European Functional Programming School}",
	volume        = 4164,
	year          = 2005,
}

Contents (8 items)

3 ×#programming
2 ×#functional

CEFP-2005-PlasmeijerA #editing #web

Generic Editors for the World Wide Web (RP, PA), pp. 1–34.

CEFP-2005-KoopmanP #automation #specification #testing

Fully Automatic Testing with Functions as Specifications (PWMK, RP), pp. 35–61.

CEFP-2005-Scholz #array #functional #programming

Functional Array Programming in SaC (SBS), pp. 62–99.

CEFP-2005-Hammond #approach #behaviour #bound #functional #programming

Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach (KH), pp. 100–134.

CEFP-2005-UustaluV #data flow #programming

The Essence of Dataflow Programming (TU, VV), pp. 135–167.

CEFP-2005-TejfelHK #source code

Temporal Properties of Clean Programs Proven in Sparkle-T (MT, ZH, TK), pp. 168–190.

CEFP-2005-Kozsik #tutorial #type system

Tutorial on Subtype Marks (TK), pp. 191–222.

CEFP-2005-ZsokHH #design #distributed

Designing Distributed Computational Skeletons in D-Clean and D-Box (VZ, ZH, ZH), pp. 223–256.