Abstract is missing.
- Expression Refinement: Deriving Bresenham's AlgorithmAlexander Bunkenburg, Sharon Flynn. 1-17 [doi]
- Dynamic Algebra for Calculating AlgorithmsKieran Clenaghan. 18-28 [doi]
- On the expressive power of Constructor ClassesLuc Duponcheel, Erik Meijer 0001. 29-49 [doi]
- Programming Reactive Systems in HaskellSigbjørn Finne, Simon Peyton Jones. 50-65 [doi]
- Techniques for Simplifying the Visualization of Graph ReductionSandra P. Foubister, Colin Runciman. 66-77 [doi]
- A Tutorial on Co-induction and Functional ProgrammingAndrew D. Gordon. 78-95 [doi]
- Unboxing using SpecialisationCordelia V. Hall, Simon L. Peyton Jones, Patrick M. Sansom. 96-110 [doi]
- Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for HaskellKevin Hammond, Hans-Wolfgang Loidl, Andrew S. Partridge. 111-126 [doi]
- Fold-Unfold Transformations on State Monadic InterpretersThomas Johnsson. 127-140 [doi]
- Functional Binomial QueuesDavid J. King. 141-150 [doi]
- Mechanized Reasoning about Functional ProgramsSava Mintchev. 151-166 [doi]
- A Case Study in Parallel Program Derivation: the Heat Equation AlgorithmJohn O'Donnell 0001, Gudula Rünger. 167-183 [doi]
- Compilation by Transformation in the Glasgow Haskell CompilerSimon Peyton Jones, André L. M. Santos. 184-204 [doi]
- Experience of developing a cervical cytology scanning system using Gofer and HaskellIan Poole, Derek Charleston. 205-217 [doi]
- Binding-time Improvement and Fold/Unfold TransformationColin Runciman. 218-230 [doi]
- Data Dependent Concurrency ControlPhil Trinder. 231-244 [doi]
- Type-Checked Message-Passing between Functional ProcessesMalcolm Wallace, Colin Runciman. 245-254 [doi]