Abstract is missing.
- High Level Specification of I/O in Functional LanguagesPeter Achten, John H. G. van Groningen, Marinus J. Plasmeijer. 1-17
- GRIT: Guy s RISC Implementation of the Three InstructionGuy Argo. 18-29
- A Logical Framework for Program AnalysisGeoffrey L. Burn. 30-42
- Analysing Functions by Projection-Based Backward AbstractionKei Davis. 43-56
- Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary)Alex Ferguson, John Hughes. 57-61
- The Glasgow Haskell Compiler: A RetrospectiveCordelia V. Hall, Kevin Hammond, Will Partain, Simon L. Peyton Jones, Philip Wadler. 62-71
- Improving Persistent Data Manipulation for Functional LanguagesKevin Hammond, Dave McNally, Patrick M. Sansom, Philip W. Trinder. 72-84
- A Loop-Detecting Interpreter for Lazy, Higher-Order ProgramsJohn Hughes, Alex Ferguson. 85-101
- A Semantics for Locally Bottom-Avoiding ChoiceJohn Hughes, Andrew Moran. 102-112
- A Certain Loss of IdentityGeraint Jones, Mary Sheeran. 113-121
- Programming with Constructor Classes (Preliminary Summary)Mark P. Jones. 122-133
- Combining MonadsDavid J. King, Philip Wadler. 134-143
- Avoiding Unnecessary UpdatesJohn Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler. 144-153
- Deforestation for Higher-Order FunctionsSimon Marlow, Philip Wadler. 154-165
- Hazard Algebra and the Design of Asynchronous AutomataErik Meijer. 166-177
- Generating Netlists from Executable Circuit SpecificationsJohn T. O Donnell. 178-194
- The nofib Benchmark Suite of Haskell ProgramsWill Partain. 195-202
- Heap Profiling of a Lazy Functional CompilerColin Runciman, David Wakeling. 203-214
- LZW Text Compression in HaskellPaul Sanders, Colin Runciman. 215-226
- Profiling Lazy Functional ProgramsPatrick M. Sansom, Simon L. Peyton Jones. 227-239
- On Program Transformation in the Glasgow Haskell CompilerAndré L. M. Santos, Simon L. Peyton Jones. 240-251
- Graphical User Interfaces for HaskellDuncan C. Sinclair. 252-257
- Formulating HaskellSimon Thompson. 258-268