Central european functional programming school first summer school, CEFP 2005, Budapest, Hungary, July 4-15, 2005 ; revised selected lectures (Springer, 2006)