Abstract is missing.
- The Under-Performing Unfold: A new approach to optimising corecursive programsJennifer Hackett, Graham Hutton, Mauro Jaskelioff. 1 [doi]
- Compilation à la CarteLaurence E. Day, Graham Hutton. 13 [doi]
- The 101haskell Chrestomathy: A Whole Bunch of Learnable LambdasRalf Lämmel, Thomas Schmorleiz, Andrei Varanovich. 25 [doi]
- The Design and Implementation of GUMSMP: a Multilevel Parallel Haskell ImplementationMalak Aljabri, Hans-Wolfgang Loidl, Philip W. Trinder. 37 [doi]
- Dependent Types for Safe and Secure Web ProgrammingSimon Fowler, Edwin Brady. 49 [doi]
- Measuring the Haskell GapLeaf Petersen, Todd A. Anderson, Hai Liu, Neal Glew. 61 [doi]
- First Class Syntax, Semantics, and Their CompositionMarcos Viera, S. Doaitse Swierstra. 73 [doi]
- Circularity and Lambda Abstraction: From Bird to Pettorossi and backOlivier Danvy, Peter Thiemann, Ian Zerny. 85 [doi]
- Towards a framework for the implementation and verification of translations between argumentation modelsBas van Gijzel, Henrik Nilsson. 93 [doi]
- Piglets to the rescue: Declarative User Interface Specification with Pluggable View ModelsLoïc Denuzière, Ernesto Rodriguez, Adam Granicz. 105 [doi]
- Next Generation Asynchronous Adaptive Specialization for Data-Parallel Functional Array Processing in SAC: Accelerating the Availability of Specialized High Performance CodeClemens Grelck, Heinrich Wiesinger. 117 [doi]
- The implementation of the Mezzo type-checkerJonathan Protzenko. 129 [doi]