Revised Lectures of the Sixth International Spring School on Advanced Functional Programming
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

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

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

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.

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.