Advanced functional programming : 4th international School ; revised lectures - Jeuring, Johan (Herausgeber); AFP (4 : 2002 : Oxford) (Lecture notes in computer science, 2003)