Proceedings of the 25th 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

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

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

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.

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.