default search action
The Journal of Functional Programming, Volume 4
Volume 4, Number 1, January 1994
- Kavi Arya:
A Functional Animation Starter-Lit. 1-18 - John A. Keane:
An Overview of the Flagship System. 19-45 - Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones:
On the Equivalence Between CMC and TIM. 47-63 - F. Warren Burton, Victor J. Rayward-Smith:
Worst Case Scheduling for Parallel Functional Programs. 65-75 - Thierry Coquand, Hugo Herbelin:
A - Translation and Looping Combinators in Pure Type Systems. 77-88 - Hong Zhu:
How Powerful are Folding/Unfolding Transformations? 89-112
- Pierre-Louis Curien, Thérèse Hardin:
Yet Yet a Counterexample for lambda + SP. 113-115
- Lennart Augustsson, Mikael Rittri, Dan Synek:
On Generating unique Names. 117-123
Volume 4, Number 2, April 1994
- Kim B. Bruce:
A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics. 127-206 - Benjamin C. Pierce, David N. Turner:
Simple Type-Theoretic Foundations for Object-Oriented Programming. 207-247 - Martín Abadi:
Baby Modula-3 and a Theory of Objects. 249-283
Volume 4, Number 3, July 1994
- Mads Tofte:
Principal Signatures for Higher-Order Program Modules. 285-335 - Henrik Nilsson
, Peter Fritzson:
Algorithmic Debugging for Lazy Functional Languages. 337-369 - Gérard P. Huet:
Residual Theory in lambda-Calculus: A Formal Development. 371-394
Volume 4, Number 4, October 1994
- Ian Mackie:
Lilac: A Functional Programming Language Based on Linear Logic. 395-433 - Fritz Henglein, Harry G. Mairson:
The Complexity of Type Inference for Higher-Order Typed lambda Calculi. 435-477 - Björn Lisper:
Total Unfolding: Theory and Applications. 479-498 - Robert Glück
On the Generation of Specializers. 499-514 - Wei-Ngan Chin:
Safe Fusion of Functional Expressions II: Further Improvements. 515-555 - Graham Hutton:
Book Review: Introduction to HOL: A Theorem Proving Environment for Higher Order Logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7. 557-559
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-11-22 19:33 CET 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: