J. Launchbury and P.M. Sansom (Editors)
Springer-Verlag Series of Workshops in Computing, Series Editor C.J. van Rijsbergen, Springer-Verlag, Berlin, 1993. ISBN 0-387-19820-2/3-540-19820-2.
High Level Specification of I/O in Functional Languages
P.M. Achten, J.H.G. van Groningen and M.J. Plasmeijer
.......................1
GRIT: Guy's RISC Implementation of the Three Instruction Machine
G. Argo
.......................18
A Logical Framework for Program Analysis
G.L. Burn
.......................30
Analysing Functions by Projection-Based Backward Abstraction
M.K. Davis
.......................43
Abstract Interpretation of Higher Order Functions using Concrete Data Structures (Summary)
A.B. Ferguson and R.J.M. Hughes
.......................57
The Glasgow Haskell Compiler: A Retrospective
C.V. Hall, K. Hammond, W.D. Partain, S.L. Peyton Jones and P.L. Wadler
.......................62
Improving Persistent Data Manipulation for Functional Languages
K. Hammond, D.L. McNally, P.M. Sansom and P.W. Trinder
.......................72
A Loop-detecting Interpreter for Lazy, Higher-order Programs
R.J.M. Hughes and A.B. Ferguson
cd .......................85
A Semantics for Locally Bottom-Avoiding Choice
R.J.M. Hughes and A. Moran
.......................102
A Certain Loss of Identity
G. Jones and M. Sheeran
.......................113
Programming with Constructor Classes (preliminary summary)
M.P. Jones
.......................122
Combining Monads
D.J. King and P.L. Wadler
.......................134
Avoiding Unnecessary Updates
J. Launchbury, A. Gill, R.J.M. Hughes, S. Marlow, S.L. Peyton Jones and P.L. Wadler
.......................144
Deforestation for Higher-Order Functions
S. Marlow and P.L. Wadler
.......................154
Hazard Algebra and the Design of Asynchronous Automata
E. Meijer
.......................166
Generating Netlists from Executable Circuit Specifications in a Pure Functional Language
J.T. O'Donnell
.......................178
The nofib Benchmark Suite of Haskell Programs
W.D. Partain
.......................195
Heap Profiling of a Lazy Functional Compiler
C. Runciman and D. Wakeling
.......................203
LZW Text Compression in Haskell
P. Sanders and C. Runciman
.......................215
Profiling Lazy Functional Programs
P.M. Sansom and S.L. Peyton Jones
.......................227
On Program Transformation in the Glasgow Haskell Compiler
A. Santos and S.L. Peyton Jones
.......................240
Graphical User Interfaces for Haskell
D.C. Sinclair
.......................252
Formulating Haskell
S. Thompson
.......................258
