Journal: Journal of Functional Programming

Volume 5, Issue 4

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

Volume 5, Issue 3

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

Volume 5, Issue 2

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

Volume 5, Issue 1

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