03655nam 22007575 450 99646589280331620230406010948.03-540-88059-310.1007/978-3-540-88059-2(CKB)1000000000490377(SSID)ssj0000316593(PQKBManifestationID)11248159(PQKBTitleCode)TC0000316593(PQKBWorkID)10275401(PQKB)11709502(DE-He213)978-3-540-88059-2(MiAaPQ)EBC3063594(MiAaPQ)EBC6315187(PPN)129063223(EXLCZ)99100000000049037720100301d2008 u| 0engurnn|008mamaatxtccrCentral European Functional Programming School[electronic resource] Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /edited by Anna Soós1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (VII, 303 p.) Theoretical Computer Science and General Issues,2512-2029 ;5161"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.3-540-88058-5 Includes bibliographical references and index.An 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.This 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.Theoretical Computer Science and General Issues,2512-2029 ;5161Compilers (Computer programs)Computer programmingSoftware engineeringMachine theoryComputer scienceCompilers and InterpretersProgramming TechniquesSoftware EngineeringFormal Languages and Automata TheoryTheory of ComputationCompilers (Computer programs).Computer programming.Software engineering.Machine theory.Computer science.Compilers and Interpreters.Programming Techniques.Software Engineering.Formal Languages and Automata Theory.Theory of Computation.746.460285Soós Annaedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465892803316Central European Functional Programming School771915UNISA