| 1992 | Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991 Rogardt Heldal, Carsten Kehler Holst, Philip Wadler |
| 1991 | A Loop-Detecting Interpreter for Lazy Programs. Carsten Kehler Holst, John Hughes |
| 1991 | A New Sharing Mechanism for the TIM. Guy Argo |
| 1991 | A Note on Abstraction in Ruby. Mary Sheeran |
| 1991 | A Note on the Choice of Domains for Projection-Based Program Analysis. Kei Davis |
| 1991 | A Novel Approach Towards Peephole Optimisations. Andrew John Gill |
| 1991 | A Parallel Functional Database on GRIP. Gert Akerholt, Kevin Hammond, Simon L. Peyton Jones, Philip W. Trinder |
| 1991 | A Semantics for Relational Programming. David Murphy |
| 1991 | ACTRESS: An Action Semantics Directed Compiler Generator (Summary). Deryck Forsyth Brown, Hermano P. Moura, David A. Watt |
| 1991 | An Operational Model of Strictness Properties and Its Abstractions (Extended Abstract). Alain Deutsch |
| 1991 | BWM: A Concrete Machine for Graph Reduction. Lennart Augustsson |
| 1991 | Combining Single-Space and Two-Space Compacting Garbage Collectors. Patrick M. Sansom |
| 1991 | Debugging by Dataflow - Summary. Duncan C. Sinclair |
| 1991 | Efficient Type Inference Using Monads (Summary). Kevin Hammond |
| 1991 | Evaluation Order Analysis for Lazy Data Structures. Carsten K. Gomard, Peter Sestoft |
| 1991 | Experiments in Haskell - A Network Simulation Algorithm. Paul Sanders |
| 1991 | Extending Deforestation for First Order functional Programs. Geoff W. Hamilton, Simon B. Jones |
| 1991 | External Function Calls in a Functional Language. Manfred Schmidt-Schauß |
| 1991 | From Primitive Recursive Functions to Silicon through Relations. Lars Rossen |
| 1991 | Functional Compilation from the Standard ML Core Language to Lambda Calculus. Nick Rothwell |
| 1991 | Generating More Practical Compilers by Partial Evaluation. Rogardt Heldal |
| 1991 | Getting Your Wires Crossed. Geraint Jones |
| 1991 | Implementing Projection-based Strictness Analysis. Ryszard Kubiak, John Hughes, John Launchbury |
| 1991 | Making Functionality More General. Graham Hutton, Ed Voermans |
| 1991 | Operational Theories of Improvement in Functional Languages (Extended Abstract). David Sands |
| 1991 | Requirements for a Functional Programming Environment. Ben A. Sijtsma |
| 1991 | Strictness Analysis Using Hindley-Milner Type Inference. Cordelia V. Hall |
| 1991 | TIP in Haskell - another Exercise in Functional Programming. Colin Runciman |
| 1991 | The Abstract interpretation of Higher-Order Functional Languages: From Properties to Abstract Domains (Technical Summary). Geoffrey Livingston Burn |
| 1991 | Using XView/X11 from Miranda. Satnam Singh |
| 1991 | Vuillemin's Exact Real Arithmetic. David R. Lester |