LEADER 03655nam  22007575  450 
001 996465892803316
005 20230406010948.0
010   $a3-540-88059-3
024 7 $a10.1007/978-3-540-88059-2
035   $a(CKB)1000000000490377
035   $a(SSID)ssj0000316593
035   $a(PQKBManifestationID)11248159
035   $a(PQKBTitleCode)TC0000316593
035   $a(PQKBWorkID)10275401
035   $a(PQKB)11709502
035   $a(DE-He213)978-3-540-88059-2
035   $a(MiAaPQ)EBC3063594
035   $a(MiAaPQ)EBC6315187
035   $a(PPN)129063223
035   $a(EXLCZ)991000000000490377
100   $a20100301d2008      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCentral European Functional Programming School$b[electronic resource] $eSecond Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /$fedited by Anna Soós
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $a1 online resource (VII, 303 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5161
300   $a"This volume presents the revised lecture notes of selected talks given a the second  Central European Functional Programming School, CEFP 2007, held June 23-30, 2007 at Babes-Bolyai University, Cluj-Napoca, Romania"--Preface.
311   $a3-540-88058-5 
320   $aIncludes bibliographical references and index.
327   $aAn Introduction to iTasks: Defining Interactive Work Flows for the Web -- Proving Properties of Lazy Functional Programs with Sparkle -- An Introduction to the Lambda Calculus -- Abstract ?-Calculus Machines -- Programming in ?mega -- A Tutorial on Object-Oriented Functional Programming -- Use Cases for Refactoring in Erlang -- From Interpretation to Compilation.
330   $aThis volume presents eight carefully revised texts from selected lectures given by leading researchers at the Second Central European Functional Programming School, CEFP 2007, held in Cluj-Napoca, Romania, in June 2007. The eight revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The lectures cover a wide range of topics such as interactive workflows, lazy functional programs, lambda calculus, and object-oriented functional programming.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5161
606   $aCompilers (Computer programs)
606   $aComputer programming
606   $aSoftware engineering
606   $aMachine theory
606   $aComputer science
606   $aCompilers and Interpreters
606   $aProgramming Techniques
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
615  0$aCompilers (Computer programs).
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aComputer science.
615 14$aCompilers and Interpreters.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
676   $a746.460285
702   $aSoós$b Anna$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996465892803316
996   $aCentral European Functional Programming School$9771915
997   $aUNISA