Central European Functional Programming School : Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures - Zoltán Horváth, Rinus Plasmeijer, Anna Soós, Viktória Zsók ((Lecture Notes in Computer Science))