Central European Functional Programming School : first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 : revised selected lectures / - Horvath, Zoltan. (Springer,, 2006)