1988 Glasgow Workshop on Functional Programming, Rothesay, Isle of Bute, Scotland

C.V. Hall, R.J.M. Hughes and J.T. O'Donnell (Editors)

Computing Science Department Research Report 89/R4, Glasgow University, February 1989.

Gebreselassie Baraki,

The Denotation of Polymorphic Objects, pp 1-7

Murray I. Cole,

Higher-Order Functions for Parallel Evaluation, pp 8-20

A.J.J. Dick and M. Thomas,

On Proving Termination of ``Loop Program'' Rewriting Systems, pp 22-38

A.B. Ferguson and Philip Wadler,

When Will Deforestation Stop?, pp 39-56

Cordelia Hall,

Finding Rational Fixed Points in Infinite Domains, pp 57-67

John Hughes,

Abstract Interpretation of First-Order Polymorphic Functions, pp 68-86

Simon B. Jones and Daniel Le Métayer,

Optimisation of Storage Management in Functional Languages
by Static Analysis of Programs, pp 87-100

John Launchbury,

Strictness Analysis Aids Inductive Proofs, pp 101-107

Torben Æ. Morgensen,

Binding Time Analysis for Higher Order Polymorphically
Typed Languages, pp 108-123

John T. O'Donnell,

Functional Microprogramming for a Data Parallel Architecture, pp 124-145

Simon L. Peyton Jones and Jon Salkild,

The Spineless Tagless G-Machine, pp 146-160

Mary Sheeran,

Retiming and Slowdown in Regular Array Design, pp 161-186

Phil Trinder and Philip Wadler,

List Comprehensions and the Relational Calculus, pp 187-202

Philip Wadler and Stephen Blott,

How to make Ad-hoc Polymorphism less Ad-hoc pp, pp 203-