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 BibTeX
• Christine Ernoult, Alan Mycroft: Untyped Strictness Analysis. 37-49 BibTeX
• Enrico Tronci: Defining Data Structures via Böhm-Out. 51-64 BibTeX
• P. N. Benton: Strong Normalisation for the Linear Term Calculus. 65-80 BibTeX
• Peter Achten, Marinus J. Plasmeijer: The Ins and Outs of Clean I/O. 81-110 BibTeX
• Martín Abadi, Luca Cardelli, Benjamin C. Pierce, Didier Rémy: Dynamic Typing in Polymorphic Languages. 111-130 BibTeX

Volume 5, Number 2, April 1995

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

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 BibTeX
• Jeffrey Hammes, Olaf Lubeck, A. P. Wim Böhm: Comparing Id and Haskell in a Monte Carlo Photon Transport Code. 283-316 BibTeX
• Donald A. Ziff, Stephen P. Spackman, Keith Waclena: Funser: A Functional Server for Textual Information Retrieval. 317-343 BibTeX
• Greg Michaelson, Norman Scaife: Prototyping a Parallel Vision System in Standard ML. 345-382 BibTeX
• 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 BibTeX
• John R. Davy, Peter M. Dew: A Polymorphic Library for Constructive Solid Geometry. 415-442 BibTeX
• Marcel Turcotte, Guy Lapalme, François Major: Exploring the Conformations of Nucleic Acids. 443-460 BibTeX

Volume 5, Number 4, October 1995

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