Central european functional programming school 4th summer school, CEFP 2011, Budapest, Hungary, June 14 - 24, 2011 ; revised selected papers (Springer, 2012)