Abstract is missing.
- Scans and Convolutions - A Calculational Proof of Moessner's TheoremRalf Hinze. 1-24 [doi]
- From Functional Logic Programs to Purely Functional Programs Preserving LazinessBernd Braßel, Sebastian Fischer. 25-42 [doi]
- An Interaction Net Implementation of Closed ReductionIan Mackie. 43-59 [doi]
- Implementation Architecture and Multithreaded Runtime System of S-NetClemens Grelck, Frank Penczek. 60-79 [doi]
- Parsing Mixfix OperatorsNils Anders Danielsson, Ulf Norell. 80-99 [doi]
- Descriptor-Free Representation of Arrays with Dependent TypesKai Trojahner, Clemens Grelck. 100-117 [doi]
- Collected Size Semantics for Functional Programs over ListsOlha Shkaravska, Marko C. J. D. van Eekelen, Alejandro Tamalet. 118-137 [doi]
- Embedding a Functional Hybrid Modelling Language in HaskellGeorge Giorgidze, Henrik Nilsson. 138-155 [doi]
- Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics ProcessorsJoel Svensson, Mary Sheeran, Koen Claessen. 156-173 [doi]
- A Library for Processing Ad hoc Data in Haskell - Embedding a Data Description LanguageYan Wang, Verónica Gaspes. 174-191 [doi]
- iEditors: Extending iTask with Interactive Plug-insJan Martin Jansen, Rinus Plasmeijer, Pieter W. M. Koopman. 192-211 [doi]
- An Executable and Testable Semantics for iTasksPieter W. M. Koopman, Rinus Plasmeijer, Peter Achten. 212-232 [doi]
- Monatron: An Extensible Monad Transformer LibraryMauro Jaskelioff. 233-248 [doi]
- Catch Me If You Can - Looking for Type-Safe, Hierarchical, Lightweight, Polymorphic and Efficient Error Management in OCamlDavid Teller, Arnaud Spiwack, Till Varoquaux. 249-271 [doi]
- Between Types and Tables - Using Generic Programming for Automated Mapping between Data Types and Relational DatabasesBas Lijnse, Rinus Plasmeijer. 272-290 [doi]