The Journal of Functional Programming, Volume 1

Volume 1, Number 1, January 1991

• F. Warren Burton: Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics. 3-20 BibTeX
• Carsten K. Gomard, Neil D. Jones: A Partial Evaluator for the Untyped lambda-Calculus. 21-69 BibTeX , Erratum: Journal of Functional Programming 1(3): 373 (1991)
• Mikael Rittri: Using Types as Search Keys in Function Libraries. 71-89 BibTeX
• Sebastian Hunt, Chris Hankin: Fixed Points and Frontiers: A New Perspective. 91-120 BibTeX

• Richard S. Bird: The Minout Problem. 121-124 BibTeX

Volume 1, Number 2, April 1991

• Henk Barendregt: Introduction to Generalized Type Systems. 125-154 BibTeX
• Herman Geuvers, Mark-Jan Nederhof: Modular Proof of Strong Normalization for the Calculus of Constructions. 155-189 BibTeX
• Colin Runciman, Ian Toyn: Retrieving Reusable Software Components by Polymorphic Type. 191-211 BibTeX
• François Major, Guy Lapalme, Robert Cedergren: Domain Generating Functions for Solving Constraint Satisfaction Problems. 213-227 BibTeX

• Henk Barendregt: Self-Interpretations in lambda Calculus. 229-233 BibTeX

• Richard S. Bird: On Removing Duplicates. 235-243 BibTeX

Volume 1, Number 3, July 1991

• John C. Mitchell: Type Inference With Simple Subtypes. 245-285 BibTeX
• Ian A. Mason, Carolyn L. Talcott: Equivalence in Functional Languages with Effects. 287-327 BibTeX
• Geoffrey L. Burn: Implementing the Evaluation Transformer Model of Reduction on Parallel Machines. 329-366 BibTeX

• Erik Barendsen: An Unsolvable Numeral System in lambda Calculus. 367-372 BibTeX

Volume 1, Number 4, October 1991

• Martín Abadi, Luca Cardelli, Pierre-Louis Curien, Jean-Jacques Lévy: Explicit Substitutions. 375-416 BibTeX
• Luca Cardelli, Giuseppe Longo: A Semantic Basis for Quest. 417-458 BibTeX
• Hanne Riis Nielson, Flemming Nielson: Using Transformations in the Implementations of Higher-Order Functions. 459-494 BibTeX