LEADER 03604nam  22007935  450 
001 996466022703316
005 20230406060522.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   $a20101206d2010      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCentral European Functional Programming School$b[electronic resource] $eThird Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures /$fedited by Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók
205   $a1st ed. 2010.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010.
215   $a1 online resource (IX, 391 p. 44 illus., 10 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6299
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$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6299
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aComputer science
606   $aMachine theory
606   $aComputer networks
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aComputer Communication Networks
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aComputer science.
615  0$aMachine theory.
615  0$aComputer networks.
615 14$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aComputer Communication Networks.
676   $a005.1/14
702   $aHorváth$b Zoltán$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPlasmeijer$b Rinus$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZsók$b Viktoria$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466022703316
996   $aCentral European Functional Programming School$9771915
997   $aUNISA