Implementation and Application of Functional Languages

1. Front Matter

   PDF

2. Graph Parser Combinators

   • Steffen Mazanek, Mark Minas

   Pages 1-18

3. Testing Erlang Refactorings with QuickCheck

   • Huiqing Li, Simon Thompson

   Pages 19-36

4. Optimal Lambda Lifting in Quadratic Time

   • Marco T. Morazán, Ulrik P. Schultz

   Pages 37-56

5. The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity

   • Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra

   Pages 57-74

6. XHaskell – Adding Regular Expression Types to Haskell

   • Martin Sulzmann, Kenny Zhuo Ming Lu

   Pages 75-92

7. Partial Parsing: Combining Choice with Commitment

   • Malcolm Wallace

   Pages 93-110

8. Lazy Contract Checking for Immutable Data Structures

   • Robert Bruce Findler, Shu-yu Guo, Anne Rogers

   Pages 111-128

9. The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA

   • Matthew Naylor, Colin Runciman

   Pages 129-146

10. A Supercompiler for Core Haskell

    • Neil Mitchell, Colin Runciman

    Pages 147-164

11. Checking Dependent Types Using Compiled Code

    • Dirk Kleeblatt

    Pages 165-182

12. Debugging Lazy Functional Programs by Asking the Oracle

    • Bernd Braßel, Holger Siegel

    Pages 183-200

13. Uniqueness Typing Simplified

    • Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson

    Pages 201-218

14. Tabular Expressions and Total Functional Programming

    • Baltasar Trancón y Widemann, David Lorge Parnas

    Pages 219-236

15. Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler

    • Marc Feeley

    Pages 237-253

16. From Contracts Towards Dependent Types: Proofs by Partial Evaluation

    • Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner

    Pages 254-273

17. Back Matter

    PDF

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.

• Debugging
• Haskell programming
• ML programming
• data structures
• function-based programming
• functional logic computation
• functional programming
• functional programming languages
• functional theorem proving
• implem
• mathematical semantics
• parallel functional programming
• stricness

Policies and ethics