6. Advanced Functional Programming School 2008: Heijen, The Netherlands

Pieter W. M. Koopman, Rinus Plasmeijer, S. Doaitse Swierstra (Eds.): Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures. Lecture Notes in Computer Science 5832 Springer 2009, ISBN 978-3-642-04651-3

Umut A. Acar, Ruy Ley-Wild:
Self-adjusting Computation with Delta ML. 1-38
Richard S. Bird:
Spider Spinning for Dummies. 39-65
Olivier Danvy:
From Reduction-Based to Reduction-Free Normalization. 66-164
Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev:
Libraries for Generic Programming in Haskell. 165-229
Ulf Norell:
Dependently Typed Programming in Agda. 230-266
Simon L. Peyton Jones, Satnam Singh:
A Tutorial on Parallel and Concurrent Programming in Haskell. 267-305
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort:
An iTask Case Study: A Conference Management System. 306-329