Abstract is missing.
- Predictable Space Behaviour in FSM-HumeKevin Hammond, Greg Michaelson. 1-16 [doi]
- When Generic Functions Use Dynamic ValuesPeter Achten, Artem Alimarine, Marinus J. Plasmeijer. 17-33 [doi]
- Fast Functional ListsPhil Bagwell. 34-50 [doi]
- Fusion in PracticeDiederik van Arkel, John H. G. van Groningen, Sjaak Smetsers. 51-67 [doi]
- Proving Make Correct: I/O Proofs in Haskell and CleanMalcolm Dowse, Glenn Strong, Andrew Butterfield. 68-83 [doi]
- Gast: Generic Automated Software TestingPieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer. 84-100 [doi]
- Lazy Dynamic Input/Output in the Lazy Functional Language CleanMartijn Vervoort, Marinus J. Plasmeijer. 101-117 [doi]
- PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel MachinesNils Ellmenreich, Christian Lengauer. 118-133 [doi]
- Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language EnvironmentTobias Lindahl, Konstantinos F. Sagonas. 134-149 [doi]
- Stacking Cycles: Functional Transformation of Circular DataBaltasar Trancón-y-Widemann. 150-164 [doi]
- Transforming Haskell for TracingOlaf Chitil, Colin Runciman, Malcolm Wallace. 165-181 [doi]
- Axis Control in SACClemens Grelck, Sven-Bodo Scholz. 182-198 [doi]
- Thread Migration in a Parallel Graph ReducerAndré Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder. 199-214 [doi]
- Towards a Strongly Typed Functional Operating SystemArjen van Weelden, Marinus J. Plasmeijer. 215-231 [doi]
- Cost Analysis Using Automatic Size and Time InferenceÁlvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos. 232-248 [doi]