The Journal of Functional Programming, Volume 2

Volume 2, Number 1, January 1992

• Manfred Broy, Claus Dendorfer: Modelling Operating System Structures by Timed Stream Processing Functions. 1-21 BibTeX
• Andrea Asperti: A Categorical Understanding of Environment Machines. 23-59 BibTeX
• Robert L. Wainwright, Marian E. Sexton: A Study of Sparse Matrix Representations for Solving Linear Systems in a Functional Language. 61-72 BibTeX
• Richard E. Jones: Tail Recursion without Space Leaks. 73-79 BibTeX
• James M. Boyle, Terence J. Harmer: A Practical Functional Program for the CRAY X-MP. 81-126 BibTeX

Volume 2, Number 2, April 1992

• Simon L. Peyton Jones: Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine. 127-202 BibTeX
• F. Warren Burton, Rex L. Page: Distributed Random Number Generation. 203-212 BibTeX
• Harry G. Mairson: Quantifier Elimination and Parametric Polymorphism in Programming Languages. 213-226 BibTeX

• Henk Barendregt: Enumerators of lambda Terms are Reducing. 233-236 BibTeX

• Richard S. Bird: Two Greedy Algorithms. 237-244 BibTeX

Volume 2, Number 3, July 1992

• Jean-Pierre Talpin, Pierre Jouvelot: Polymorphic Type, Region and Effect Inference. 245-271 BibTeX
• Frank S. K. Silbermann, Bharat Jayaraman: A Domain-Theoretic Approach to Functional and Logic Programming. 273-321 BibTeX
• Graham Hutton: Higher-Order Functions for Parsing. 323-343 BibTeX
• Torben Æ. Mogensen: Efficient Self-Interpretations in lambda Calculus. 345-363 BibTeX

• Henk Barendregt: Representing `undefined' in lambda Calculus. 367-374 BibTeX

• Richard S. Bird: Unravelling Greedy Algorithms. 375-385 BibTeX

Volume 2, Number 4, October 1992

• Gad Aharoni, Dror G. Feitelson, Amnon Barak: A Run-Time Algorithm for Managing the Granularity of Parallel Functional Programs. 387-405 BibTeX
• François Bourdoncle: Abstract Interpretation by Dynamic Partitioning. 407-423 BibTeX
• P. J. Brumfitt: MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware. 437-473 BibTeX
• Mark P. Jones: Computing with Lattices: An Application of Type Classes. 475-503 BibTeX

• Rob R. Hoogerwoord: A Symmetric Set of Efficient List Operations. 505-513 BibTeX