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
• Andrea Asperti: A Categorical Understanding of Environment Machines. 23-59
• Robert L. Wainwright, Marian E. Sexton: A Study of Sparse Matrix Representations for Solving Linear Systems in a Functional Language. 61-72
• Richard E. Jones: Tail Recursion without Space Leaks. 73-79
• James M. Boyle, Terence J. Harmer: A Practical Functional Program for the CRAY X-MP. 81-126

Volume 2, Number 2, April 1992

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

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

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

Volume 2, Number 3, July 1992

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

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

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

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
• François Bourdoncle: Abstract Interpretation by Dynamic Partitioning. 407-423
• P. J. Brumfitt: MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware. 437-473
• Mark P. Jones: Computing with Lattices: An Application of Type Classes. 475-503

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