Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers

Annotation This 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 Front Matter....Pages - Graph Parser Combinators....Pages 1-18 Testing Erlang Refactorings with QuickCheck....Pages 19-36 Optimal Lambda Lifting in Quadratic Time....Pages 37-56 The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity....Pages 57-74 XHaskell – Adding Regular Expression Types to Haskell....Pages 75-92 Partial Parsing: Combining Choice with Commitment....Pages 93-110 Lazy Contract Checking for Immutable Data Structures....Pages 111-128 The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA....Pages 129-146 A Supercompiler for Core Haskell....Pages 147-164 Checking Dependent Types Using Compiled Code....Pages 165-182 Debugging Lazy Functional Programs by Asking the Oracle....Pages 183-200 Uniqueness Typing Simplified....Pages 201-218 Tabular Expressions and Total Functional Programming....Pages 219-236 Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler....Pages 237-253 From Contracts Towards Dependent Types: Proofs by Partial Evaluation....Pages 254-273 Back Matter....Pages - This 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. Olaf Chitil, Zoltán Horváth, Viktória Zsók (eds.). International Conference Proceedings. Includes Bibliographical References And Index.