Volume 5, Number 1, January 1995

• 
  Mark P. Jones: A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism. 1-35
• 
  Christine Ernoult, Alan Mycroft: Untyped Strictness Analysis. 37-49
• 
  Enrico Tronci: Defining Data Structures via Böhm-Out. 51-64
• 
  P. N. Benton: Strong Normalisation for the Linear Term Calculus. 65-80
• 
  Peter Achten, Marinus J. Plasmeijer: The Ins and Outs of Clean I/O. 81-110
• 
  Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy: Dynamic Typing in Polymorphic Languages. 111-130

Volume 5, Number 2, April 1995

• 
  C. Barry Jay, Neil Ghani: The Virtues of Eta-Expansion. 135-154
• 
  Andrew P. Tolmach, Andrew W. Appel: A Debugger for Standard ML. 155-200
• 
  Tobias Nipkow, Christian Prehofer: Type Reconstruction for Type Classes. 201-224
• 
  Chris D. Clack, Stuart Clayman, David Parrott: Lexical Profiling: Theory and Practice. 225-277

Volume 5, Number 3, July 1995

State-of-the-Art Applications of Pure Functional Programming Languages

• 
  Pieter H. Hartel, Marinus J. Plasmeijer: Special Issue on State-of-the-Art Applications of Pure Functional Programming Languages. 279-281
• 
  Jeffrey Hammes, Olaf Lubeck, A. P. Wim Böhm: Comparing Id and Haskell in a Monte Carlo Photon Transport Code. 283-316
• 
  Donald A. Ziff, Stephen P. Spackman, Keith Waclena: Funser: A Functional Server for Textual Information Retrieval. 317-343
• 
  Greg Michaelson, Norman Scaife: Prototyping a Parallel Vision System in Standard ML. 345-382
• 
  Walter A. C. A. J. de Hoon, Luc M. W. J. Rutten, Marko C. J. D. van Eekelen: Implementing a Functional Spreadsheet in Clean. 383-414
• 
  John R. Davy, Peter M. Dew: A Polymorphic Library for Constructive Solid Geometry. 415-442
• 
  Marcel Turcotte, Guy Lapalme, François Major: Exploring the Conformations of Nucleic Acids. 443-460

Volume 5, Number 4, October 1995

• 
  Charles Consel, Siau-Cheng Khoo: On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. 461-500
• 
  Amir Kishon, Paul Hudak: Semantics Directed Program Execution Monitoring. 501-547
• 
  Willem G. Vree, Pieter H. Hartel: Communication Lifting: Fixed Point Computation for Parallelism. 549-581
• 
  Chris Okasaki: Simple and Efficient Purely Functional Queues and Deques. 583-592
• 
  Martin Hofmann, Benjamin C. Pierce: A Unifying Type-Theoretic Framework for Objects. 593-635
• 
  Fairouz Kamareddine, Rob Nederpelt: Refining Reduction in the Lambda Calculus. 637-651