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
  

Last update Sat May 18 20:41:39 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page