| 1996 | Functional Programming, Glasgow, UK, 1995 David N. Turner |
| 1995 | A Functional Logic Language Based on Higher Order Narrowing. Herbert Kuchen |
| 1995 | A Lazy, Self-optimizing Parallel Matrix Library. Simon Govier, Paul H. J. Kelly |
| 1995 | Algebraic Formula Manipulation in a Functional Language: A First Attempt. Antony J. T. Davie |
| 1995 | Database Manipulation in Haskell 1.3. Kevin Hammond, Philip W. Trinder |
| 1995 | Experiences with Clean I/O. Simon B. Jones |
| 1995 | Formal Specification of Interconnection Networks. John O'Donnell, Gudula Rünger |
| 1995 | Integrating Multithreading into the Spineless Tagless G-machine. Manuel M. T. Chakravarty |
| 1995 | On the Granularity of Divide-and-Conquer Parallelism. Hans-Wolfgang Loidl, Kevin Hammond |
| 1995 | Picture: A Simple Structured Graphics Model. Sigbjørn Finne, Simon L. Peyton Jones |
| 1995 | Supporting Reasoning about Functional Programs: An Operational Approach. Graham Collins |
| 1995 | The Brisk Project: Concurrent and Distributed Functional Systems. Ian Holyer, Neil Davies, Chris Dornan |
| 1995 | The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant. Andy Gill |
| 1995 | Towards a Declarative Language for Parallel and Concurrent Programming. Silvia Breitinger, Rita Loogen |
| 1995 | Towards a Purely Functional Debugger for Functional Programs. Simon P. Booth, Simon B. Jones |
| 1995 | Type Reconstruction for SCI. Howard Huang, Uday S. Reddy |
| 1995 | Uniqueness Typing in Natural Deduction Style. Erik Barendsen, Sjaak Smetsers |
| 1995 | Using Types to Parse Natural Language. Mark P. Jones, Paul Hudak, Sebastian Shaumyan |