Varmo Vene, Tarmo Uustalu
Revised Lectures of the Fifth International Spring School on Advanced Functional Programming
AFP, 2004.

@proceedings{AFP-2004,
	address       = "Tartu, Estonia",
	editor        = "Varmo Vene and Tarmo Uustalu",
	isbn          = "3-540-28540-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Lectures of the Fifth International Spring School on Advanced Functional Programming}",
	volume        = 3622,
	year          = 2004,
}

Event page: http://www.cs.ut.ee/afp04/

Contents (9 items)

3 ×#programming
2 ×#functional
2 ×#named

AFP-2004-DijkstraS04 #attribute grammar #haskell #type system

Typing Haskell with an Attribute Grammar (AD, SDS), pp. 1–72.

AFP-2004-Hughes04 #programming

Programming with Arrows (JH), pp. 73–129.

AFP-2004-McBride04 #dependent type #named #programming

Epigram: Practical Programming with Dependent Types (CM), pp. 130–170.

AFP-2004-Pardo04 #data type

Combining Datatypes and Effects (AP), pp. 171–209.

AFP-2004-AchtenEPW04 #agile #interactive #named #prototype #tool support #type safety

GEC: A Toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications (PA, MCJDvE, RP, AvW), pp. 210–244.

AFP-2004-PlasmeijerW04 #functional

A Functional Shell That Operates on Typed and Compiled Applications (RP, AvW), pp. 245–272.

AFP-2004-Pope04 #debugging #declarative

Declarative Debugging with Buddha (BP), pp. 273–308.

AFP-2004-Thiemann04 #programming #web

Server-Side Web Programming in WASH (PT), pp. 309–330.

AFP-2004-Thompson04 #functional #refactoring #source code

Refactoring Functional Programs (SJT), pp. 331–357.