LEADER 04079nam  22007575  450 
001 9910482958603321
005 20230406020700.0
010   $a3-540-85373-1
024 7 $a10.1007/978-3-540-85373-2
035   $a(CKB)1000000000490663
035   $a(SSID)ssj0000355522
035   $a(PQKBManifestationID)11249118
035   $a(PQKBTitleCode)TC0000355522
035   $a(PQKBWorkID)10339125
035   $a(PQKB)11644023
035   $a(DE-He213)978-3-540-85373-2
035   $a(MiAaPQ)EBC3063346
035   $a(MiAaPQ)EBC6511686
035   $a(Au-PeEL)EBL6511686
035   $a(OCoLC)827361552
035   $a(PPN)128126124
035   $a(EXLCZ)991000000000490663
100   $a20100301d2008      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aImplementation and Application of Functional Languages $e19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007 Revised Selected Papers /$fedited by Olaf Chitil
205   $a1st ed. 2008.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008.
215   $a1 online resource (X, 275 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5083
300   $aIncludes index.
311   $a3-540-85372-3 
320   $aIncludes bibliographical references and index.
327   $aGraph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting in Quadratic Time -- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity -- XHaskell ? Adding Regular Expression Types to Haskell -- Partial Parsing: Combining Choice with Commitment -- Lazy Contract Checking for Immutable Data Structures -- The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA -- A Supercompiler for Core Haskell -- Checking Dependent Types Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing Simplified -- Tabular Expressions and Total Functional Programming -- Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler -- From Contracts Towards Dependent Types: Proofs by Partial Evaluation.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications of Functional Languages, IFL 2007, held in Freiburg, Germany in September 2007. The 15 revised full papers presented went through two rounds of reviewing and improvement and were selected from 33 submissions. The papers address all current theoretical and methodological issues on functional and function-based languages such as type checking, contract checking, compilation, parallelism, development and debugging, data structures, parsing as well as various performance related concepts.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5083
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aComputer programming
606   $aElectronic digital computers?Evaluation
606   $aCompilers and Interpreters
606   $aTheory of Computation
606   $aProgramming Techniques
606   $aComputer Science Logic and Foundations of Programming
606   $aSystem Performance and Evaluation
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aComputer programming.
615  0$aElectronic digital computers?Evaluation.
615 14$aCompilers and Interpreters.
615 24$aTheory of Computation.
615 24$aProgramming Techniques.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aSystem Performance and Evaluation.
676   $a005.13
702   $aChitil$b Olaf
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910482958603321
996   $aImplementation and Application of Functional Languages$9772664
997   $aUNINA