1989 Glasgow Workshop on Functional Programming, Fraserburgh, Scotland

M.K. Davis and R.J.M. Hughes (Editors)

Springer-Verlag Series of Workshops in Computing, Series Editor C.J. van Rijsbergen, Springer-Verlag, Berlin, 1990. ISBN 0-387-19609-9/3-540-19609-9.

S.B. Jones and D. Le Métayer,

A New Method for Strictness Analysis on Non-Flat Domains, pp 1-11

M.K. Davis and P.L. Wadler,

Backwards Strictness Analysis: Proved and Improved, pp 12-30

G. Baraki and R.J.M. Hughes,

Abstract Interpretation of Polymorphic Functions, pp 31-40

A.B. Ferguson and R.J.M. Hughes,

An Iterative Powerdomain Construction, pp 41-55

D. Sands,

Complexity Analysis for a Lazy Higher-Order Language, pp 56-79

G. Jones,

Deriving the Fast Fourier Algorithm by Calculation, pp 80-102

J. Banâtre and D. Le Métayer,

Chemical Reaction as a Computational Model, pp 103-117

A.C. Reeves and C. Rattray,

Sketching a Constructive Definition of `mix', pp 118-132

C. Runciman, M. Firth and N. Jagger,

Transformation in a Non-Strict Language: An Approach to Instantiation, pp 133-141

P.W. Trinder,

Referentially Transparent Database Languages, pp 142-156

L. McLoughlin and E.S. Hayes,

Imperative Effects from a Pure Functional Language, pp 157-169

A. Reid,

Designing Data Structures, pp 170-181

M. Sheeran,

Describing Butterfly Networks in Ruby, pp 182-205

S. Singh,

Implementation of a Non-Standard Interpretation System, pp 206-224

J.M. Deschner,

Simulating Multiprocessor Architectures for Compiled Graph-Reduction, pp 225-237

J. Launchbury,

Dependent Sums Express Separation of Binding Times, pp 238-253

S. Blott,

Type Inference and Type Classes, pp 254-265

K. Hammond and S. Blott,

Implementing Haskell Type Classes, pp 266-286

S. Cox, H. Glaser and M. Reeve,

Implementing Functional Languages on the Transputer, pp 287-295

I.B. Robertson,

Hope+ on Flagship, pp 296-307

R.J.M. Hughes and J.T. O'Donnell,

Expressing and Reasoning About Non-Deterministic Functional Programs , pp 308-328

J.M. Kewley and K. Glynn,

Evaluation Annotations for Hope+, pp 329-337

P. Roe,

Some Ideas on Parallel Functional Programming, pp 338-352

G. Hutton,

Parsing Using Combinators, pp 353-370

A.C. Reeves, D.A. Harrison, A.F. Sinclair and P. Williamson,

Gerald: An Exceptional Lazy Programming Language, pp 371-390

K. Clenaghan,

Geometrization for Interactive Software Development, pp 391-