The Journal of Functional Programming, Volume 7

Volume 7, Number 1, January 1997

• Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott:
  A Foundation for Actor Computation. 1-72
  
• Panos Rondogiannis, William W. Wadge:
  First-Order Functional Languages and Intensional Logic. 73-101
  
• Jeffrey Hammes, Sumit Sur, A. P. Wim Böhm:
  On the Effectiveness of Functional Language Features: NAS Benchmark FT. 103-123
  

Volume 7, Number 2, March 1997

• Tetsuo Ida, Koichi Nakahara:
  Leftmost Outside-In Narrowing Calculi. 129-161
  
• Nigel W. O. Hutchison, Ute Neuhaus, Manfred Schmidt-Schauß, Cordelia V. Hall:
  Natural Expert: A Commercial Functional Programming Environment. 163-182
  
• Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar:
  EQUALS - A Fast Parallel Implementation of a Lazy Language. 183-217
  

• Colin Runciman:
  Lazy Wheel Sieves and Spirals of Primes. 219-225
  

Volume 7, Number 3, May 1997

• Peter Sestoft:
  Deriving a Lazy Abstract Machine. 231-264
  
• Zena M. Ariola, Matthias Felleisen:
  The Call-By-Need lambda Calculus. 265-301
  
• John Hatcliff, Olivier Danvy:
  Thunks and the lambda-Calculus. 303-319
  
• Torben Amtoft, Flemming Nielson, Hanne Riis Nielson:
  Type and Behaviour Reconstruction for Higher-Order Concurrent Programs. 321-347
  

• Richard S. Bird:
  On Merging and Selection. 349-354
  

Volume 7, Number 4, July 1997

• Tyng-Ruey Chuang, Benjamin Goldberg:
  A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains. 357-394
  
• Fairouz Kamareddine, Alejandro Ríos:
  Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms. 395-420
  
• Gad Aharoni, Amnon Barak, Amir Ronen:
  A Competitive Algorithm for Managing Sharing in the Distributed Execution of Functional Programs. 421-440
  

• Richard S. Bird:
  On Building Trees with Minimum Height. 441-445
  

Volume 7, Number 5, September 1997

• Reinhold Heckmann, Reinhard Wilhelm:
  A Functional Description of TEX's Formula Layout. 451-485
  
• Melissa E. O'Neill, F. Warren Burton:
  A New Method for Functional Arrays. 487-513
  
• Andrew W. Appel, Trevor Jim:
  Shrinking lambda Expressions in Linear Time. 515-540
  
• Richard S. Bird, Geraint Jones, Oege de Moor:
  More Haste, Less Speed: Lazy Versus Eager Evaluation. 541-547
  

• Gérard P. Huet:
  The Zipper. 549-554
  

Volume 7, Number 6, November 1997

• Peter Ørbæk, Jens Palsberg:
  Trust in the lambda-Calculus. 557-591
  
• Sabine Broda, Luís Damas:
  On Combinatory Complete Sets of Proper Combinators. 593-612
  
• Franco Barbanera, Maribel Fernández, Herman Geuvers:
  Modularity of Strong Normalization in the Algebraic-lambda-Cube. 613-660
  

• Chris Okasaki:
  Three Algorithms on Braun Trees. 661-666
  

Last update Tue Feb 14 04:20:34 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page