Advanced Functional Programming : 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures - Johan Jeuring, Simon L. Peyton Jones ((Lecture Notes in Computer Science))