Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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
a service of 
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.
last updated on 2024-04-22 20:03 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
