Revised Selected Papers of the 20th 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

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

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

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.

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.