| 1991 | Proceedings of the 1990 Glasgow Workshop on Functional Programming, Ullapool, Scotland, UK, August 13-15, 1990 Simon L. Peyton Jones, Graham Hutton, Carsten Kehler Holst |
| 1990 | Abstract Interpretation of Term Graph Rewriting Systems. Chris Hankin |
| 1990 | Abstract Interpretation vs. Type Inference A Topological Perspective. Thomas P. Jensen |
| 1990 | An Algorithmic and Semantic Approach to Debugging. Cordelia V. Hall, Kevin Hammond, John T. O'Donnell |
| 1990 | An Experiment using Term Rewriting Techniques for Concurrency. Carron Kirkwood |
| 1990 | Analysing Heap Contents in a Graph Reduction Intermediate Language. Thomas Johnsson |
| 1990 | Calculating lenient programs' performance. Paul Roe |
| 1990 | Compile-Time Garbage Collection by Necessity Analysis. Geoff W. Hamilton, Simon B. Jones |
| 1990 | Compiling Laziness by Partial Evaluation. Anders Bondorf |
| 1990 | Concurrent Data Manipulation in a Pure Functional Language. Phil Trinder |
| 1990 | Differentiating Strictness. Satnam Singh |
| 1990 | Functional Programming with Relations. Graham Hutton |
| 1990 | Generalising Diverging Sequences of Rewrite Rules by Synthesising New Sorts. Muffy Thomas, Phil Watson |
| 1990 | Generating a Pattern Matching Compiler by Partial Evaluation. Jesper Jørgensen |
| 1990 | Improving Full Laziness. Carsten Kehler Holst |
| 1990 | Is Compile Time Garbage Collection Worth the Effort? Simon B. Jones, Michael White |
| 1990 | Lifetime analysis. Guy Argo |
| 1990 | Normal-Order Reduction Using Scan Primitives. William D. Partain |
| 1990 | PERs Generalise Projections for Strictness Analysis (Extended Abstract). Sebastian Hunt |
| 1990 | Problems & Proposals for Time & Space Profiling of Functional Programs. Colin Runciman, David Wakeling |
| 1990 | Solid Modelling in Haskell. Duncan C. Sinclair |
| 1990 | Strictness Analysis in 4D. Kei Davis, Philip Wadler |
| 1990 | Towards Binding-Time Improvement for Free. Carsten Kehler Holst, John Hughes |
| 1990 | Towards Relating Forwards and Backwards Analyses. John Hughes, John Launchbury |
| 1990 | Type Refinement in Ruby. David Murphy |