Abstract is missing.
- On Optimising Shape-Generic Array Programs Using Symbolic Structural InformationKai Trojahner, Clemens Grelck, Sven-Bodo Scholz. 1-18 [doi]
- Index Vector Elimination - Making Index Vectors AffordableRobert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko. 19-36 [doi]
- Functional-Based Synthesis of a Systolic Array for GCD ComputationLaura Ruff, Tudor Jebelean. 37-54 [doi]
- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional LanguagesMercedes Hidalgo-Herrero, Yolanda Ortega-Mallén, Fernando Rubio. 55-72 [doi]
- Parallel Coordination Made Explicit in a Functional SettingJost Berthold, Rita Loogen. 73-90 [doi]
- Low-Level Programming in Hume: An Exploration of the HW-Hume LevelKevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland. 91-107 [doi]
- A Conference Management System Based on the iData ToolkitMarinus J. Plasmeijer, Peter Achten. 108-125 [doi]
- A Pattern Logic for Prompt Lazy Assertions in HaskellOlaf Chitil, Frank Huch. 126-144 [doi]
- Ivor, a Proof EngineEdwin Brady. 145-162 [doi]
- Proving Program Properties Specified with Subtype MarksTamás Kozsik. 163-180 [doi]
- Uniqueness Typing RedefinedEdsko de Vries, Marinus J. Plasmeijer, David M. Abrahamson. 181-198 [doi]
- Heuristics for Type Error Discovery and RecoveryJurriaan Hage, Bastiaan Heeren. 199-216 [doi]
- Testing Properties of Generic FunctionsPatrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser. 217-234 [doi]
- Worst-Case Execution Times for a Purely Functional LanguageArmelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann. 235-252 [doi]
- Automatic Partial Inversion of Inductively Sequential FunctionsJesús Manuel Almendros-Jiménez, Germán Vidal. 253-270 [doi]