Text this: Advanced functional programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002 : revised lectures / Johan Jeuring, Simon Peyton Jones, eds.