Central European functional programming school second summer school, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, revised selected lectures / - Horvt̀h, Zoltán. (Springer,)