Abstract is missing.
- Haskell Boards the Ferry - Database-Supported Program Execution for HaskellGeorge Giorgidze, Torsten Grust, Tom Schreiber, Jeroen Weijers. 1-18 [doi]
- Theory and Practice of FusionRalf Hinze, Thomas Harper, Daniel W. H. James. 19-37 [doi]
- Orthogonal Serialisation for HaskellJost Berthold. 38-53 [doi]
- Introducing the PilGRIM: A Processor for Executing Lazy Functional LanguagesArjan Boeijink, Philip K. F. Hölzenspies, Jan Kuper. 54-71 [doi]
- Automating Derivations of Abstract Machines from Reduction Semantics: - A Generic Formalization of Refocusing in CoqFilip Sieczkowski, Malgorzata Biernacka, Dariusz Biernacki. 72-88 [doi]
- From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFCNeil Toronto, Jay McCarthy. 89-104 [doi]
- Dependently Typed Attribute GrammarsArie Middelkoop, Atze Dijkstra, S. Doaitse Swierstra. 105-120 [doi]
- The Design and Implementation of Feldspar - An Embedded Language for Digital Signal ProcessingEmil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson. 121-136 [doi]
- Purity in ErlangMihalis Pitidis, Konstantinos F. Sagonas. 137-152 [doi]
- iTask as a New Paradigm for Building GUI ApplicationsSteffen Michels, Rinus Plasmeijer, Peter Achten. 153-168 [doi]
- Improving Your CASH Flow: The Computer Algebra SHellChristopher Brown, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond. 169-184 [doi]
- Concurrent Non-deferred Reference Counting on the Microgrid: First ExperiencesStephan Herhut, Carl Joslin, Sven-Bodo Scholz, Raphael Poss, Clemens Grelck. 185-202 [doi]
- Composing Reactive GUIs in F# Using WebSharperJoel Bjornson, Anton Tayanovskyy, Adam Granicz. 203-216 [doi]