Central European Functional Programming School (1st 2005 Budapest, Hungary)