Revised Selected Papers of the 18th International Symposium on Implementation and Application of Functional Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

FP
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.