Jurriaan Hage, Marco T. Morazán
Revised Selected Papers of the 22nd International Symposium on Implementation and Application of Functional Languages
IFL, 2010.

@proceedings{IFL-2010,
	address       = "Alphen aan den Rijn, The Netherlands",
	doi           = "10.1007/978-3-642-24276-2",
	editor        = "Jurriaan Hage and Marco T. Morazán",
	isbn          = "978-3-642-24275-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 22nd International Symposium on Implementation and Application of Functional Languages}",
	volume        = 6647,
	year          = 2010,
}

Contents (13 items)

2 ×#haskell
2 ×#user interface

IFL-2010-GiorgidzeGSW #execution #haskell

Haskell Boards the Ferry — Database-Supported Program Execution for Haskell (GG, TG, TS, JW), pp. 1–18.

IFL-2010-HinzeHJ #theory and practice

Theory and Practice of Fusion (RH, TH, DWHJ), pp. 19–37.

IFL-2010-Berthold #haskell #orthogonal

Orthogonal Serialisation for Haskell (JB), pp. 38–53.

IFL-2010-BoeijinkHK #functional #lazy evaluation

Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages (AB, PKFH, JK), pp. 54–71.

IFL-2010-SieczkowskiBB #automation #automaton #coq #formal method #reduction #semantics

Automating Derivations of Abstract Machines from Reduction Semantics: — A Generic Formalization of Refocusing in Coq (FS, MB, DB), pp. 72–88.

IFL-2010-TorontoM #probability

From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC (NT, JM), pp. 89–104.

IFL-2010-MiddelkoopDS #attribute grammar

Dependently Typed Attribute Grammars (AM, AD, SDS), pp. 105–120.

IFL-2010-AxelssonCSSEP #design #embedded #implementation

The Design and Implementation of Feldspar — An Embedded Language for Digital Signal Processing (EA, KC, MS, JS, DE, AP), pp. 121–136.

IFL-2010-PitidisS #erlang

Purity in Erlang (MP, KFS), pp. 137–152.

IFL-2010-MichelsPA #paradigm #user interface

iTask as a New Paradigm for Building GUI Applications (SM, RP, PA), pp. 153–168.

IFL-2010-BrownLBH #algebra

Improving Your CASH Flow: The Computer Algebra SHell (CB, HWL, JB, KH), pp. 169–184.

IFL-2010-HerhutJSPG #case study #concurrent #experience

Concurrent Non-deferred Reference Counting on the Microgrid: First Experiences (SH, CJ, SBS, RP, CG), pp. 185–202.

IFL-2010-BjornsonTG #f# #user interface #using

Composing Reactive GUIs in F# Using WebSharper (JB, AT, AG), pp. 203–216.