![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.