LEADER 03981nam  22007815  450 
001 9910483478103321
005 20230222161833.0
010   $a3-642-41582-2
024 7 $a10.1007/978-3-642-41582-1
035   $a(CKB)3710000000031293
035   $a(DE-He213)978-3-642-41582-1
035   $a(SSID)ssj0001067550
035   $a(PQKBManifestationID)11598592
035   $a(PQKBTitleCode)TC0001067550
035   $a(PQKBWorkID)11099027
035   $a(PQKB)11640682
035   $a(MiAaPQ)EBC3093171
035   $a(PPN)176116621
035   $a(EXLCZ)993710000000031293
100   $a20131115d2013      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aImplementation and Application of Functional Languages $e24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /$fedited by Ralf Hinze
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (X, 241 p. 72 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8241
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-41581-4 
327   $aA Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof by Reflection in Agda -- Agda Meets Accelerate -- An Embedded Type Debugger -- Pure and Lazy Lambda Mining: An Experience Report -- Decomposing Metaheuristic Operations.
330   $aThis book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28 revised submissions received from originally 37 presentations at the conference. The papers relate to the implementation and application of functional languages and function-based programming.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8241
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aMachine theory
606   $aComputer programming
606   $aApplication software
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
606   $aComputer and Information Systems Applications
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aComputer programming.
615  0$aApplication software.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
615 24$aComputer and Information Systems Applications.
676   $a005.13
702   $aHinze$b Ralf$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910483478103321
996   $aImplementation and Application of Functional Languages$9772664
997   $aUNINA