19. IFL 2007: Freiburg, Germany

Olaf Chitil, Zoltán Horváth, Viktória Zsók (Eds.): Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Lecture Notes in Computer Science 5083 Springer 2008, ISBN 978-3-540-85372-5 BibTeX

Steffen Mazanek, Mark Minas:
Graph Parser Combinators. 1-18
Electronic Edition (link) BibTeX
Huiqing Li, Simon Thompson:
Testing Erlang Refactorings with QuickCheck. 19-36
Electronic Edition (link) BibTeX
Marco T. Morazán, Ulrik Pagh Schultz:
Optimal Lambda Lifting in Quadratic Time. 37-56
Electronic Edition (link) BibTeX
Atze Dijkstra, Jeroen Fokker, S. Doaitse Swierstra:
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity. 57-74
Electronic Edition (link) BibTeX
Martin Sulzmann, Kenny Zhuo Ming Lu:
XHaskell - Adding Regular Expression Types to Haskell. 75-92
Electronic Edition (link) BibTeX
Malcolm Wallace:
Partial Parsing: Combining Choice with Commitment. 93-110
Electronic Edition (link) BibTeX
Robert Bruce Findler, Shu-yu Guo, Anne Rogers:
Lazy Contract Checking for Immutable Data Structures. 111-128
Electronic Edition (link) BibTeX
Matthew Naylor, Colin Runciman:
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA. 129-146
Electronic Edition (link) BibTeX
Neil Mitchell, Colin Runciman:
A Supercompiler for Core Haskell. 147-164
Electronic Edition (link) BibTeX
Dirk Kleeblatt:
Checking Dependent Types Using Compiled Code. 165-182
Electronic Edition (link) BibTeX
Bernd Braßel, Holger Siegel:
Debugging Lazy Functional Programs by Asking the Oracle. 183-200
Electronic Edition (link) BibTeX
Edsko de Vries, Rinus Plasmeijer, David M. Abrahamson:
Uniqueness Typing Simplified. 201-218
Electronic Edition (link) BibTeX
Baltasar Trancón-y-Widemann, David Lorge Parnas:
Tabular Expressions and Total Functional Programming. 219-236
Electronic Edition (link) BibTeX
Marc Feeley:
Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler. 237-253
Electronic Edition (link) BibTeX
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky, Clemens Grelck, Kai Trojahner:
From Contracts Towards Dependent Types: Proofs by Partial Evaluation. 254-273
Electronic Edition (link) BibTeX