Central European Functional Programming School 5th Summer School, CEFP 2013, Cluj-Napoca, Romania, July 8-20, 2013, Revised Selected Papers - Zsók, Viktória; Horváth, Zoltán; Csató, Lehel (Springer International Publishing : Imprint: Springer, 2015)