Rinus Plasmeijer
Proceedings of the 25th Symposium on Implementation and Application of Functional Languages
IFL, 2013.

@proceedings{IFL-2013,
	acmid         = "2620678",
	address       = "Nijmegen, The Netherlands",
	editor        = "Rinus Plasmeijer",
	isbn          = "978-1-4503-2988-0",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 25th Symposium on Implementation and Application of Functional Languages}",
	year          = 2013,
}

Contents (12 items)

3 ×#haskell
3 ×#implementation
2 ×#modelling

IFL-2013-HackettHJ #approach #optimisation #recursion #source code

The Under-Performing Unfold: A new approach to optimising corecursive programs (JH, GH, MJ), p. 1.

IFL-2013-DayH #compilation

Compilation à la Carte (LED, GH), p. 13.

IFL-2013-LammelSV #haskell

The 101haskell Chrestomathy: A Whole Bunch of Learnable λs (RL, TS, AV), p. 25.

IFL-2013-AljabriLT #design #haskell #implementation #parallel

The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell Implementation (MA, HWL, PWT), p. 37.

IFL-2013-FowlerB #dependent type #programming #web

Dependent Types for Safe and Secure Web Programming (SF, EB), p. 49.

IFL-2013-PetersenALG #haskell

Measuring the Haskell Gap (LP, TAA, HL, NG), p. 61.

IFL-2013-VieraS #composition #semantics #syntax

First Class Syntax, Semantics, and Their Composition (MV, SDS), p. 73.

IFL-2013-DanvyTZ #abstraction

Circularity and λ Abstraction: From Bird to Pettorossi and back (OD, PT, IZ), p. 85.

IFL-2013-GijzelN #framework #implementation #modelling #towards #verification

Towards a framework for the implementation and verification of translations between argumentation models (BvG, HN), p. 93.

IFL-2013-DenuziereRG #declarative #modelling #specification #user interface

Piglets to the rescue: Declarative User Interface Specification with Pluggable View Models (LD, ER, AG), p. 105.

IFL-2013-GrelckW #adaptation #array #functional #generative #performance

Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance Code (CG, HW), p. 117.

IFL-2013-Protzenko #implementation

The implementation of the Mezzo type-checker (JP), p. 129.