Central European Functional Programming School 5th summer school, CEFP 2013, Cluj-Napoca, Romania, July 8 - 20, 2013 ; revised selected papers (Springer, 2015)