Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra
Revised Lectures of the Sixth International Spring School on Advanced Functional Programming
AFP, 2008.

@proceedings{AFP-2008,
	address       = "Heijen, The Netherlands",
	doi           = "10.1007/978-3-642-04652-0",
	editor        = "Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra",
	isbn          = "978-3-642-04651-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Lectures of the Sixth International Spring School on Advanced Functional Programming}",
	volume        = 5832,
	year          = 2008,
}

Contents (7 items)

3 ×#programming
2 ×#haskell

AFP-2008-AcarL08 #ml #self

Self-adjusting Computation with Delta ML (UAA, RLW), pp. 1–38.

AFP-2008-Bird08

Spider Spinning for Dummies (RSB), pp. 39–65.

AFP-2008-Danvy08 #normalisation

From Reduction-Based to Reduction-Free Normalization (OD), pp. 66–164.

AFP-2008-JeuringLMY08 #haskell #library #programming

Libraries for Generic Programming in Haskell (JJ, SL, JPM, ARY), pp. 165–229.

AFP-2008-Norell08 #programming

Dependently Typed Programming in Agda (UN), pp. 230–266.

AFP-2008-JonesS08 #concurrent #haskell #parallel #programming #tutorial

A Tutorial on Parallel and Concurrent Programming in Haskell (SLPJ, SS), pp. 267–305.

AFP-2008-PlasmeijerAKLN08 #case study

An iTask Case Study: A Conference Management System (RP, PA, PWMK, BL, TvN), pp. 306–329.