Olaf Chitil, Zoltán Horváth, Viktória Zsók
Revised Selected Papers of the 19th International Workshop on Implementation and Application of Functional Languages
IFL, 2007.

@proceedings{IFL-2007,
	address       = "Freiburg, Germany",
	editor        = "Olaf Chitil and Zoltán Horváth and Viktória Zsók",
	isbn          = "978-3-540-85372-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 19th International Workshop on Implementation and Application of Functional Languages}",
	volume        = 5083,
	year          = 2007,
}

Contents (15 items)

3 ×#haskell
2 ×#compilation
2 ×#contract
2 ×#dependent type
2 ×#functional
2 ×#graph
2 ×#lazy evaluation
2 ×#parsing
2 ×#using

IFL-2007-MazanekM #combinator #graph #parsing

Graph Parser Combinators (SM, MM), pp. 1–18.

IFL-2007-LiT #erlang #quickcheck #refactoring #testing

Testing Erlang Refactorings with QuickCheck (HL, SJT), pp. 19–36.

IFL-2007-MorazanS #polynomial

Optimal λ Lifting in Quadratic Time (MTM, UPS), pp. 37–56.

IFL-2007-DijkstraFS #compilation #complexity #haskell

The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity (AD, JF, SDS), pp. 57–74.

IFL-2007-SulzmannL #haskell #named #regular expression

XHaskell — Adding Regular Expression Types to Haskell (MS, KZML), pp. 75–92.

IFL-2007-Wallace #parsing

Partial Parsing: Combining Choice with Commitment (MW), pp. 93–110.

IFL-2007-FindlerGR #contract #data type #lazy evaluation

Lazy Contract Checking for Immutable Data Structures (RBF, SyG, AR), pp. 111–128.

IFL-2007-NaylorR #graph #reduction #using

The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA (MN, CR), pp. 129–146.

IFL-2007-MitchellR #haskell

A Supercompiler for Core Haskell (NM, CR), pp. 147–164.

IFL-2007-Kleeblatt #dependent type #using

Checking Dependent Types Using Compiled Code (DK), pp. 165–182.

IFL-2007-BrasselS #debugging #functional #lazy evaluation #source code

Debugging Lazy Functional Programs by Asking the Oracle (BB, HS), pp. 183–200.

IFL-2007-VriesPA #type system

Uniqueness Typing Simplified (EdV, RP, DMA), pp. 201–218.

IFL-2007-WidemannP #functional #programming

Tabular Expressions and Total Functional Programming (BTyW, DLP), pp. 219–236.

IFL-2007-Feeley #c #compilation

Speculative Inlining of Predefined Procedures in an R5RS Scheme to C Compiler (MF), pp. 237–253.

IFL-2007-HerhutSBGT #contract #dependent type #partial evaluation #proving #towards

From Contracts Towards Dependent Types: Proofs by Partial Evaluation (SH, SBS, RB, CG, KT), pp. 254–273.