Central European Functional Programming School first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / - Horváth, Zoltán, (Lecture notes in computer science,)