Implementation and Application of Functional Languages

by Chitil, Olaf; Horvath, Zoltan; Zsok, Viktoria

• ISBN13: 9783540853725
• ISBN10: 3540853723
• Format: Paperback
• Copyright: 2008-09-01
• Publisher: Springer-Verlag New York Inc

Summary

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.

Table of Contents

Graph Parser Combinators	p. 1
Testing Erlang Refactorings with QuickCheck	p. 19
Optimal Lambda Lifting in Quadratic Time	p. 37
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity	p. 57
XHaskell - Adding Regular Expression Types to Haskell	p. 75
Partial Parsing: Combining Choice with Commitment	p. 93
Lazy Contract Checking for Immutable Data Structures	p. 111
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA	p. 129
A Supercompiler for Core Haskell	p. 147
Checking Dependent Types Using Compiled Code: Preliminary Report	p. 165
Debugging Lazy Functional Programs by Asking the Oracle	p. 183
Uniqueness Typing Simplified	p. 201
Tabular Expressions and Total Functional Programming	p. 219
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler	p. 237
From Contracts Towards Dependent Types: Proofs by Partial Evaluation	p. 254
Author Index	p. 275
Table of Contents provided by Ingram. All Rights Reserved.