| 1995 | Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994 Kevin Hammond, David N. Turner, Patrick M. Sansom |
| 1994 | A Case Study in Parallel Program Derivation: the Heat Equation Algorithm. John O'Donnell, Gudula Rünger |
| 1994 | A Tutorial on Co-induction and Functional Programming. Andrew D. Gordon |
| 1994 | Binding-time Improvement and Fold/Unfold Transformation. Colin Runciman |
| 1994 | Compilation by Transformation in the Glasgow Haskell Compiler. Simon Peyton Jones, André L. M. Santos |
| 1994 | Data Dependent Concurrency Control. Phil Trinder |
| 1994 | Dynamic Algebra for Calculating Algorithms. Kieran Clenaghan |
| 1994 | Experience of developing a cervical cytology scanning system using Gofer and Haskell. Ian Poole, Derek Charleston |
| 1994 | Expression Refinement: Deriving Bresenham's Algorithm. Alexander Bunkenburg, Sharon Flynn |
| 1994 | Fold-Unfold Transformations on State Monadic Interpreters. Thomas Johnsson |
| 1994 | Functional Binomial Queues. David J. King |
| 1994 | Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell. Kevin Hammond, Hans-Wolfgang Loidl, Andrew S. Partridge |
| 1994 | Mechanized Reasoning about Functional Programs. Sava Mintchev |
| 1994 | On the expressive power of Constructor Classes. Luc Duponcheel, Erik Meijer |
| 1994 | Programming Reactive Systems in Haskell. Sigbjørn Finne, Simon Peyton Jones |
| 1994 | Techniques for Simplifying the Visualization of Graph Reduction. Sandra P. Foubister, Colin Runciman |
| 1994 | Type-Checked Message-Passing between Functional Processes. Malcolm Wallace, Colin Runciman |
| 1994 | Unboxing using Specialisation. Cordelia V. Hall, Simon L. Peyton Jones, Patrick M. Sansom |