Ralf Hinze
Revised Selected Papers of the 24th International Symposium on Implementation and Application of Functional Languages
IFL, 2012.

@proceedings{IFL-2012,
	address       = "Oxford, England, United Kingdom",
	doi           = "10.1007/978-3-642-41582-1",
	editor        = "Ralf Hinze",
	isbn          = "978-3-642-41581-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 24th International Symposium on Implementation and Application of Functional Languages}",
	volume        = 8241,
	year          = 2012,
}

Contents (14 items)

2 ×#haskell
2 ×#lazy evaluation

IFL-2012-OrchardM #monad

A Notation for Comonads (DAO, AM), pp. 1–17.

IFL-2012-DieterleHBL #composition #parallel

Iterating Skeletons — Structured Parallelism by Composition (MD, TH, JB, RL), pp. 18–36.

IFL-2012-DijkstraSVS #haskell #javascript

Building JavaScript Applications with Haskell (AD, JS, AV, SDS), pp. 37–52.

IFL-2012-ReichNR #lazy evaluation #roadmap

Advances in Lazy SmallCheck (JSR, MN, CR), pp. 53–70.

IFL-2012-Clerc #java #ml #named

OCaml-Java: From OCaml Sources to Java Bytecodes (XC), pp. 71–85.

IFL-2012-SculthorpeFG #haskell #program transformation

The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.

IFL-2012-Magalhaes #optimisation #source code

Optimisation of Generic Programs Through Inlining (JPM), pp. 104–121.

IFL-2012-Fluet #analysis #control flow #system f

A Type- and Control-Flow Analysis for System F (MF), pp. 122–139.

IFL-2012-IonescuJ #modelling #programming

Dependently-Typed Programming in Scientific Computing — Examples from Economic Modelling (CI, PJ), pp. 140–156.

IFL-2012-WaltS #proving

Engineering Proof by Reflection in Agda (PvdW, WS), pp. 157–173.

IFL-2012-ThiemannC

Agda Meets Accelerate (PT, MMTC), pp. 174–189.

IFL-2012-TsushimaA #debugging #embedded

An Embedded Type Debugger (KT, KA), pp. 190–206.

IFL-2012-WuMBS #case study #experience #lazy evaluation #mining

Pure and Lazy λ Mining — An Experience Report (NW, JPM, JB, WS), pp. 207–223.

IFL-2012-SeningtonD #metaheuristic

Decomposing Metaheuristic Operations (RS, DD), pp. 224–239.