R. Heldal, C.K. Holst and P.L. Wadler (Editors)
Springer-Verlag Series of Workshops in Computing, Series Editor C.J. van Rijsbergen, Springer-Verlag, Berlin, 1992. ISBN 0-387-19760-5/3-540-19760-5.
A Parallel Functional Database on GRIP
G. Akerholt, K. Hammond, S.L. Peyton Jones and P.W. Trinder
.......................1
A New Sharing Mechanism for the TIM
G. Argo
.......................25
BWM: A Concrete Machine for Graph Reduction
L. Augustsson
.......................36
ACTRESS: An Action Semantics Directed Compiler
Generator (Summary)
D.F. Brown, H. Moura and D.A. Watt
.......................51
The Abstract Interpretation of Higher-Order Functional Language:
From Properties to Abstract Domains (Technical Summary)
G.L. Burn
.......................56
A Note on the Choice of Domains for Projection-Based
Program Analysis
M.K. Davis
.......................73
An Operational Model of Strictness Properties and its Abstractions
(Extended Abstract)
A. Deutsch
.......................82
A Novel Approach Towards Peephole Optimisations
A. Gill
.......................100
Evaluation Order Analysis for Lazy Data Structures
C.K. Gomard and P. Sestoft
.......................112
Strictness Analysis Using Hindley-Milner Type Inference
C.V. Hall
.......................128
Extending Deforestation for First Order Functional Programs
G.W. Hamilton and S.B. Jones
.......................134
Efficient Type Inference Using Monads (Summary)
K. Hammond
.......................146
Generating More Practical Compilers by Partial Evaluation
R. Heldal
.......................158
A Loop-Detecting Interpreter for Lazy Programs
C.K. Holst and R.J.M. Hughes
.......................164
Making Functionality More General
G. Hutton and E. Voermans
.......................177
Getting Your Wires Crossed
G. Jones
.......................191
Implementing Projection-Based Strictness Analysis
R. Kubiak, R.J.M. Hughes and J. Launchbury
.......................207
Vuillemin's Exact Real Arithmetic
D.R. Lester
.......................225
A Semantics for Relational Programming
D. Murphy
.......................239
From Primitive Recursive Functions to Silicon Through Relations
L. Rossen
.......................253
Functional Compilation from the Standard ML Core Language to
Lambda Calculus
N. Rothwell
.......................265
TIP in Haskell - Another Exercise in Functional Programming
C. Runciman
.......................278
Experiments in Haskell - A Network Simulation Algorithm
P. Sanders
.......................293
Operational Theories of Improvement in Functional Languages
(Extended Abstract)
D. Sands
.......................298
Combining Single-Space and Two-Space Compacting
Garbage Collectors
P.M. Sansom
.......................312
External Function Calls in a Functional Language
Manfred Schmidt-Schauß.......................324
A Note on Abstraction in Ruby
M. Sheeran
.......................332
Requirements for a Functional Programming Environment
B.A. Sijtsma
.......................339
Debugging by Dataflow - Summary
D.C. Sinclair
.......................347
Using XView/X11 from Miranda
S. Singh
.......................352
