K. Hammond and J.T. O'Donnell (Editors)
Springer-Verlag Series of Workshops in Computing, Series Editor C.J. van Rijsbergen, Springer-Verlag, Berlin, 1994. ISBN 0-387-19879-2/3-540-19879-2.
Alexander Bunkenburg
The Boom Hierarchy.......................1
Roy L. Crole and Andrew D. Gordon
Factoring an Adequacy Proof (Preliminary Report).......................9
Kei Davis
Projection-Based Termination Analysis.......................26
Cordelia V. Hall
A Framework for Optimising Abstract Data Types.......................43
K. Hammond, G.L. Burn and D.B. Howe
Spiking Your Caches.......................58
Pieter H. Hartel and Willem G. Vree
Experiments with Destructive Updates in a Lazy Functional Language.......................69
Jonathon M.D. Hill
The aim is Laziness in a Data-Parallel Language.......................83
Robert E. Hiromoto
On the Comparative Evaluation of Parallel Languages and Systems:
A Functional Note.......................100
Ian Holyer and David Carter
Deterministic Concurrency.......................113
Denis B Howe and Geoffrey L. Burn
Using Strictness in the STG Machine.......................127
Simon B. Jones and Andrew S. Tyas
The Implementor's Dilemma:
a Mathematical Model of Compile Time Garbage Collection.......................138
David J. King and John Launchbury
Functional Graph Algorithms with Depth-First Search.......................145
David Lester
Distributed Garbage Collection of Cyclic Structures.......................156
Simon Marlow
Update Avoidance Analysis by Abstract Interpretation.......................170
James S. Mattson Jr. and William G. Griswold
Local Speculative Evaluation for Distributed Graph Reduction.......................185
John T. O'Donnell
Bidirectional Fold and Scan.......................193
Simon Peyton Jones and Will Partain
Measuring the Effectiveness of a Simple Strictness Analyser.......................201
Alastair Reid and Satnam Singh
Implementing Fudgets with Standard Widget Sets.......................221
Colin Runciman and David Wakeling
Profiling Parallel Functional Computations (Without Parallel Machines).......................235
Patrick M. Sansom
Time Profiling a Lazy Functional Compiler.......................249
Julian Seward
Solving Recursive Domain Equations by Term Rewriting.......................262
Duncan C. Sinclair
Separating Interaction.......................277