The Journal of Functional Programming, Volume 5

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

• 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