Papers:
E. Barendsen & S. Smetse Uniqueness Typing in Natural Deduction Style http://dx.doi.org/10.14236/ewic/FP1995.1
S. Booth & S.B. Jones Towards a Purely Functional Debugger for Functional Programs http://dx.doi.org/10.14236/ewic/FP1995.2
M.M.T. Chakravarty Integrating Multithreading into the Spineless Tagless G-machine http://dx.doi.org/10.14236/ewic/FP1995.3
G. Collins Supporting Reasoning about Functional Programs: An Operational Approach http://dx.doi.org/10.14236/ewic/FP1995.4
A.J.T. Davie Algebraic Formula Manipulation in a Functional Language: A First Attempt http://dx.doi.org/10.14236/ewic/FP1995.5
S. Finne & S.P. Jones Pictures: A Simple Structured Graphics Model http://dx.doi.org/10.14236/ewic/FP1995.6
A. Gill The Technology Behind a Graphical User Interface for an Equational Reasoning Assistant http://dx.doi.org/10.14236/ewic/FP1995.7
S. Govier & P.H.J. Kellyill A Lazy, Self-optimising Parallel Matrix Library http://dx.doi.org/10.14236/ewic/FP1995.8
K. Hammond & P. Trinder Database Manipulation in Haskell 1.3 http://dx.doi.org/10.14236/ewic/FP1995.9
I. Holyer, N. Davies & C. Dornan The Brisk Project: Concurrent and Distributed Functional Systems http://dx.doi.org/10.14236/ewic/FP1995.10
H. Huang & U. Reddy Type Reconstruction for SCI http://dx.doi.org/10.14236/ewic/FP1995.11
H. Kuchen A Functional Logic Language Based on Higher Order Narrowing http://dx.doi.org/10.14236/ewic/FP1995.12
H.W. Loidl & K. Hammond On the Granularity of Divide-and-Conquer Parallelism http://dx.doi.org/10.14236/ewic/FP1995.13
M.P. Jones, P. Hudak & S. Shaumya Using Types to Parse Natural Language http://dx.doi.org/10.14236/ewic/FP1995.14
J. O'Donnell & G. Rünger Formal Specification of Interconnection Networks http://dx.doi.org/10.14236/ewic/FP1995.15
S.B. Jones Experiences with Clean I/O http://dx.doi.org/10.14236/ewic/FP1995.16