JFP 1997

25 papers

1. A Competitive Algorithm for Managing Sharing in the Distributed Execution of Functional Programs · Gad Aharoni, Amnon Barak, Amir Ronen
2. A Foundation for Actor Computation · Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
3. A Functional Description of TEX's Formula Layout · Reinhold Heckmann, Reinhard Wilhelm
4. A New Method for Functional Arrays · Melissa E. O'Neill, F. Warren Burton
5. A Syntactic Method for Finding Least Fixed Points of Higher-Order Functions over Finite Domains · Tyng-Ruey Chuang, Benjamin Goldberg
6. Deriving a Lazy Abstract Machine · Peter Sestoft
7. EQUALS - A Fast Parallel Implementation of a Lazy Language · Owen Kaser, C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
8. Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms · Fairouz Kamareddine, Alejandro Ríos
9. First-Order Functional Languages and Intensional Logic · Panos Rondogiannis, William W. Wadge
10. Lazy Wheel Sieves and Spirals of Primes · Colin Runciman
11. Leftmost Outside-In Narrowing Calculi · Tetsuo Ida, Koichi Nakahara
12. Modularity of Strong Normalization in the Algebraic-lambda-Cube · Franco Barbanera, Maribel Fernández, Herman Geuvers
13. More Haste, Less Speed: Lazy Versus Eager Evaluation · Richard S. Bird, Geraint Jones, Oege de Moor
14. Natural Expert: A Commercial Functional Programming Environment · Nigel W. O. Hutchison, Ute Neuhaus, Manfred Schmidt-Schauß, Cordelia V. Hall
15. On Building Trees with Minimum Height · Richard S. Bird
16. On Combinatory Complete Sets of Proper Combinators · Sabine Broda, Luís Damas
17. On Merging and Selection · Richard S. Bird
18. On the Effectiveness of Functional Language Features: NAS Benchmark FT · Jeffrey Hammes, Sumit Sur, A. P. Wim Böhm
19. Shrinking lambda Expressions in Linear Time · Andrew W. Appel, Trevor Jim
20. The Call-By-Need lambda Calculus · Zena M. Ariola, Matthias Felleisen
21. The Zipper · Gérard P. Huet
22. Three Algorithms on Braun Trees · Chris Okasaki
23. Thunks and the lambda-Calculus · John Hatcliff, Olivier Danvy
24. Trust in the lambda-Calculus · Peter Ørbæk, Jens Palsberg
25. Type and Behaviour Reconstruction for Higher-Order Concurrent Programs · Torben Amtoft, Flemming Nielson, Hanne Riis Nielson