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

Theoretical Pearls

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

Functional Pearls

• 
  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

Theoretical Pearls

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

Functional Pearls

• 
  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

Functional Pearls

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