Central European Functional Programming School : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures - Zoltán Horváth ((Lecture Notes in Computer Science))