This volume presents eight carefully revised texts from selected lectures given by leading researchers at the Second Central European Functional Programming School, CEFP 2007,