LEADER 02836nam 2200625Ia 450 001 9910484626503321 005 20200520144314.0 010 $a1-283-47741-6 010 $a9786613477415 010 $a3-642-17685-2 024 7 $a10.1007/978-3-642-17685-2 035 $a(CKB)2670000000064723 035 $a(SSID)ssj0000475946 035 $a(PQKBManifestationID)11335812 035 $a(PQKBTitleCode)TC0000475946 035 $a(PQKBWorkID)10469949 035 $a(PQKB)10799720 035 $a(DE-He213)978-3-642-17685-2 035 $a(MiAaPQ)EBC3066214 035 $a(PPN)149893558 035 $a(EXLCZ)992670000000064723 100 $a20101208d2010 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aCentral European Functional Programming School $eThird Summer School, CEFP 2009 ; Budapest, Hungary, May 21-23, 2009 and Komarno, Slovakia, May 25-30, 2009 : revised selected lectures /$fZoltan Horvath, Rinus Plasmeijer, Viktoria Zsok (eds.) 205 $a1st ed. 2010. 210 $aBerlin $cSpringer$d2010 215 $a1 online resource (IX, 391 p. 44 illus., 10 illus. in color.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v6299 225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-17684-4 320 $aIncludes bibliographical references and index. 330 $aThis volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held in May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009. The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages. 410 0$aLecture notes in computer science ;$v6299. 410 0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues. 517 3 $aCEFP 2009 606 $aComputer science$vCongresses 606 $aFunctional programming (Computer science)$vCongresses 615 0$aComputer science 615 0$aFunctional programming (Computer science) 676 $a005.1/14 701 $aHorvath$b Zoltan$f1962-$01238511 701 $aPlasmeijer$b M. J$g(Marinus Jacobus)$01750513 701 $aZsok$b Viktoria$0851647 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484626503321 996 $aCentral European Functional Programming School$94198577 997 $aUNINA