Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Journal of Functional Programming, Volume 2
Volume 2, Number 1, January 1992
- Manfred Broy, Claus Dendorfer:
Modelling Operating System Structures by Timed Stream Processing Functions. 1-21 - Andrea Asperti
:
A Categorical Understanding of Environment Machines. 23-59 - Roger L. Wainwright, Marian E. Sexton:
A Study of Sparse Matrix Representations for Solving Linear Systems in a Functional Language. 61-72 - Richard E. Jones:
Tail Recursion without Space Leaks. 73-79 - James M. Boyle, Terence J. Harmer:
A Practical Functional Program for the CRAY X-MP. 81-126
Volume 2, Number 2, April 1992
- Simon L. Peyton Jones:
Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-Machine. 127-202 - F. Warren Burton, Rex L. Page:
Distributed Random Number Generation. 203-212 - Harry G. Mairson:
Quantifier Elimination and Parametric Polymorphism in Programming Languages. 213-226
- Henk Barendregt:
Enumerators of lambda Terms are Reducing. 233-236
- Richard S. Bird:
Two Greedy Algorithms. 237-244
Volume 2, Number 3, July 1992
- Jean-Pierre Talpin, Pierre Jouvelot:
Polymorphic Type, Region and Effect Inference. 245-271 - Frank S. K. Silbermann, Bharat Jayaraman:
A Domain-Theoretic Approach to Functional and Logic Programming. 273-321 - Graham Hutton:
Higher-Order Functions for Parsing. 323-343 - Torben Æ. Mogensen:
Efficient Self-Interpretations in lambda Calculus. 345-363
- Henk Barendregt:
Representing 'undefined' in lambda Calculus. 367-374
- Richard S. Bird:
Unravelling Greedy Algorithms. 375-385
Volume 2, Number 4, October 1992
- Gad Aharoni, Dror G. Feitelson, Amnon Barak:
A Run-Time Algorithm for Managing the Granularity of Parallel Functional Programs. 387-405 - François Bourdoncle:
Abstract Interpretation by Dynamic Partitioning. 407-423 - P. J. Brumfitt:
MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware. 437-473 - Mark P. Jones:
Computing with Lattices: An Application of Type Classes. 475-503
- Rob R. Hoogerwoord:
A Symmetric Set of Efficient List Operations. 505-513
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-19 19:20 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:
