Sven-Bodo Scholz, Olaf Chitil
Revised Selected Papers of the 20th International Symposium on Implementation and Application of Functional Languages
IFL, 2008.

@proceedings{IFL-2008,
	address       = "Hatfield, United Kingdom",
	doi           = "10.1007/978-3-642-24452-0",
	editor        = "Sven-Bodo Scholz and Olaf Chitil",
	isbn          = "978-3-642-24451-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 20th International Symposium on Implementation and Application of Functional Languages}",
	volume        = 5836,
	year          = 2008,
}

Contents (15 items)

3 ×#functional
3 ×#named
2 ×#haskell
2 ×#implementation
2 ×#interactive
2 ×#library
2 ×#parallel
2 ×#programming
2 ×#semantics
2 ×#source code

IFL-2008-Hinze #proving #theorem

Scans and Convolutions — A Calculational Proof of Moessner’s Theorem (RH), pp. 1–24.

IFL-2008-BrasselF #functional #lazy evaluation #logic programming #source code

From Functional Logic Programs to Purely Functional Programs Preserving Laziness (BB, SF), pp. 25–42.

IFL-2008-Mackie #implementation #interactive #reduction

An Interaction Net Implementation of Closed Reduction (IM), pp. 43–59.

IFL-2008-GrelckP #architecture #implementation #parallel #runtime #thread

Implementation Architecture and Multithreaded Runtime System of S-Net (CG, FP), pp. 60–79.

IFL-2008-DanielssonN #parsing

Parsing Mixfix Operators (NAD, UN), pp. 80–99.

IFL-2008-TrojahnerG #array #dependent type #representation

Descriptor-Free Representation of Arrays with Dependent Types (KT, CG), pp. 100–117.

IFL-2008-ShkaravskaET #functional #semantics #source code

Collected Size Semantics for Functional Programs over Lists (OS, MCJDvE, AT), pp. 118–137.

IFL-2008-GiorgidzeN #functional #haskell #hybrid #modelling

Embedding a Functional Hybrid Modelling Language in Haskell (GG, HN), pp. 138–155.

IFL-2008-SvenssonSC #embedded #named #parallel #programming

Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors (JS, MS, KC), pp. 156–173.

IFL-2008-WangG #ad hoc #haskell #library

A Library for Processing Ad hoc Data in Haskell — Embedding a Data Description Language (YW, VG), pp. 174–191.

IFL-2008-JansenPK #interactive #named #plugin

iEditors: Extending iTask with Interactive Plug-ins (JMJ, RP, PWMK), pp. 192–211.

IFL-2008-KoopmanPA #execution #semantics

An Executable and Testable Semantics for iTasks (PWMK, RP, PA), pp. 212–232.

IFL-2008-Jaskelioff #library #monad #named

Monatron: An Extensible Monad Transformer Library (MJ), pp. 233–248.

IFL-2008-TellerSV #fault #lightweight #ml #performance #polymorphism #type safety

Catch Me If You Can — Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCaml (DT, AS, TV), pp. 249–271.

IFL-2008-LijnseP #automation #data type #database #programming #relational #using

Between Types and Tables — Using Generic Programming for Automated Mapping between Data Types and Relational Databases (BL, RP), pp. 272–290.