Advanced functional programming 4th international school, AFP 2002, Oxford, UK, August 19 - 24, 2002 ; revised lectures (Springer, 2003)