Advanced Functional Programming 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures - Jeuring, Johan; Jeuring, Johan; Peyton Jones, Simon; Peyton Jones, Simon (Springer Berlin Heidelberg : Imprint: Springer, 2003)