| 1990 | Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK Kei Davis, John Hughes |
| 1989 | A New Method for Strictness Analysis on Non-Flat Domains. Simon B. Jones, Daniel Le Métayer |
| 1989 | Abstract Interpretation of Polymorphic Functions. Gebreselassie Baraki, John Hughes |
| 1989 | An Iterative Powerdomain Construction. Alex Ferguson, R. John M. Hughes |
| 1989 | Backwards Strictness Analysis: Proved and Improved. Kei Davis, Philip Wadler |
| 1989 | Chemical Reaction as a Computational Model. Jean-Pierre Banâtre, Daniel Le Métayer |
| 1989 | Complexity Analysis for a Lazy Higher-Order Language. David Sands |
| 1989 | Dependent Sums Express Separation of Binding Times. John Launchbury |
| 1989 | Deriving the Fast Fourier Algorithm by Calculation. Geraint Jones |
| 1989 | Describing Butterfly Networks in Ruby. Mary Sheeran |
| 1989 | Designing Data Structures. Alastair Reid |
| 1989 | Evaluation Annotations for Hope John M. Kewley, Kevin Glynn |
| 1989 | Expressing and Reasoning About Non-Deterministic Functional Programs. John Hughes, John O'Donnell |
| 1989 | Geometrization for Interactive Software Development. Kieran Clenaghan |
| 1989 | Gerald: An Exceptional Lazy Functional Programming Language. A. C. Reeves, D. A. Harrsion, A. F. Sinclair, P. Williamson |
| 1989 | Hope Iain B. Robertson |
| 1989 | Imperative Effects from a Pure Functional Language. Lee McLoughlin, E. S. Hayes |
| 1989 | Implementation of a Non-Standard Interpretation System. Satnam Singh |
| 1989 | Implementing Functional Languages on the Transputer. Stuart Cox, Hugh Glaser, Mike Reeve |
| 1989 | Implementing Haskell Type Classes. Kevin Hammond, Stephen Blott |
| 1989 | Parsing Using Combinators. Graham Hutton |
| 1989 | Referentially Transparent Database Languages. Philip W. Trinder |
| 1989 | Simulating Multiprocessor Architectures for Compiled Graph-Reduction. J. M. Deschner |
| 1989 | Sketching a Constructive Definition of 'mix'. A. C. Reeves, Charles Rattray |
| 1989 | Some Ideas On Parallel Functional Programming. Paul Roe |
| 1989 | Transformation in a Non-Strict Language: An Approach to Instantiation. Colin Runciman, Mike Firth, Nigel Jagger |
| 1989 | Type Inference and Type Classes. Stephen Blott |