Abstract is missing.
- The Boom HierarchyAlexander Bunkenburg. 1-8 [doi]
- Factoring an Adequacy Proof (Preliminary Report)Roy L. Crole, Andrew D. Gordon. 9-25 [doi]
- Projection-based Termination AnalysisKei Davis. 26-42 [doi]
- A framework for optimising abstract data typesCordelia V. Hall. 43-57 [doi]
- Spiking Your CachesKevin Hammond, Geoffrey L. Burn, Denis B. Howe. 58-68 [doi]
- Experiments with destructive updates in a lazy functional language (extended abstract)Pieter H. Hartel, Willem G. Vree. 69-82 [doi]
- The aim is laziness in a data-parallel languageJonathan M. D. Hill. 83-99 [doi]
- On the Comparative Evaluation of Parallel Languages and Systems: A Functional NoteRobert E. Hiromoto. 100-112 [doi]
- Deterministic ConcurrencyIan Holyer, David Carter. 113-126 [doi]
- Using Strictness in the STG MachineDenis B. Howe, Geoffrey L. Burn. 127-137 [doi]
- The Implementer's Dilemma: A Mathematical Model of Compile Time Garbage CollectionSimon B. Jones, Andrew S. Tyas. 138-144 [doi]
- Functional Graph Algorithms with Depth-First Search (Preliminary Summary)David J. King, John Launchbury. 145-155 [doi]
- Distributed Garbage Collection of Cyclic StructuresDavid R. Lester. 156-169 [doi]
- Update Avoidance Analysis by Abstract InterpretationSimon Marlow. 170-184 [doi]
- Local Speculative Evaluation for Distributed Graph ReductionJames S. Mattson Jr., William G. Griswold. 185-192 [doi]
- Bidirectional Fold and ScanJohn T. O'Donnell. 193-200 [doi]
- Measuring the effectiveness of a simple strictness analyserSimon Peyton Jones, Will Partain. 201-221 [doi]
- Implementing Fudgets with Standard Widget SetsAlastair Reid, Satnam Singh. 222-235 [doi]
- Profiling Parallel Functional Computations (Without Parallel Machines)Colin Runciman, David Wakeling. 236-251 [doi]
- Time Profiling a Lazy Functional CompilerPatrick M. Sansom. 252-264 [doi]
- Solving recursive domain equations by term rewritingJulian Seward. 265-279 [doi]
- Separating InteractionDuncan C. Sinclair. 280-286 [doi]