Articles
Lilac: a functional programming language based on linear logic
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 395-433
-
- Article
-
- You have access
- Export citation
The complexity of type inference for higher-order typed lambda calculi†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 435-477
-
- Article
-
- You have access
- Export citation
Total unfolding: theory and applications
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 479-498
-
- Article
-
- You have access
- Export citation
On the generation of specializers1
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 499-514
-
- Article
-
- You have access
- Export citation
Safe fusion of functional expressions II: Further improvements†
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 515-555
-
- Article
-
- You have access
- Export citation
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
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 557-559
-
- Article
-
- You have access
- Export citation
Author Index
Author Index to Volume 4
-
- Published online by Cambridge University Press:
- 07 November 2008, p. 561
-
- Article
-
- You have access
- Export citation
Front cover (OFC, IFC) and matter
JFP volume 4 issue 4 Cover and Front matter
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back cover (IBC, OBC) and matter
JFP volume 4 issue 4 Cover and Back matter
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b2
-
- Article
-
- You have access
- Export citation