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