Zoltán Horváth, Viktória Zsók, Andrew Butterfield
Revised Selected Papers of the 18th International Symposium on Implementation and Application of Functional Languages
IFL, 2006.

@proceedings{IFL-2006,
	address       = "Budapest, Hungary",
	editor        = "Zoltán Horváth and Viktória Zsók and Andrew Butterfield",
	isbn          = "978-3-540-74129-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 18th International Symposium on Implementation and Application of Functional Languages}",
	volume        = 4449,
	year          = 2006,
}

Contents (15 items)

3 ×#functional
2 ×#array
2 ×#parallel
2 ×#proving
2 ×#type system

IFL-2006-TrojahnerGS #array #on the #optimisation #source code #using

On Optimising Shape-Generic Array Programs Using Symbolic Structural Information (KT, CG, SBS), pp. 1–18.

IFL-2006-BerneckyHSTGS

Index Vector Elimination — Making Index Vectors Affordable (RB, SH, SBS, KT, CG, AVS), pp. 19–36.

IFL-2006-RuffJ #array #synthesis

Functional-Based Synthesis of a Systolic Array for GCD Computation (LR, TJ), pp. 37–54.

IFL-2006-Hidalgo-HerreroOR #evaluation #functional #parallel

Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages (MHH, YOM, FR), pp. 55–72.

IFL-2006-BertholdL #coordination #functional #parallel

Parallel Coordination Made Explicit in a Functional Setting (JB, RL), pp. 73–90.

IFL-2006-HammondGMI #low level #programming

Low-Level Programming in Hume: An Exploration of the HW-Hume Level (KH, GG, GM, AI), pp. 91–107.

IFL-2006-PlasmeijerA #tool support

A Conference Management System Based on the iData Toolkit (RP, PA), pp. 108–125.

IFL-2006-ChitilH #haskell #lazy evaluation #logic

A Pattern Logic for Prompt Lazy Assertions in Haskell (OC, FH), pp. 126–144.

IFL-2006-Brady #proving

Ivor, a Proof Engine (EB), pp. 145–162.

IFL-2006-Kozsik #proving #type system

Proving Program Properties Specified with Subtype Marks (TK), pp. 163–180.

IFL-2006-VriesPA #type system

Uniqueness Typing Redefined (EdV, RP, DMA), pp. 181–198.

IFL-2006-HageH #fault #heuristic

Heuristics for Type Error Discovery and Recovery (JH, BH), pp. 199–216.

IFL-2006-JanssonJCEKMOV #testing

Testing Properties of Generic Functions (PJ, JJ, LC, GE, JK, SM, MO, KV), pp. 217–234.

IFL-2006-BonenfantFHH #execution #functional #worst-case

Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.

IFL-2006-Almendros-JimenezV #automation

Automatic Partial Inversion of Inductively Sequential Functions (JMAJ, GV), pp. 253–270.