Advanced functional programming : 6th International School, AFP 2008 Heijen, The Netherlands, May 19-24, 2008 Revised Lectures - Koopman, Pieter (Springer, 2009)