Articles
Reference counting as a computational interpretation of linear logic
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 195-244
-
- Article
-
- You have access
- Export citation
Canonical typing and ∏-conversion in the Barendregt Cube
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 245-267
-
- Article
-
- You have access
- Export citation
Generating action compilers by partial evaluation
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 269-298
-
- Article
-
- You have access
- Export citation
A confluent reduction for the λ-calculus with surjective pairing and terminal object
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 299-327
-
- Article
-
- You have access
- Export citation
Formal basis for the refinement of rule based transition systems
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 329-354
-
- Article
-
- You have access
- Export citation
Predictive parser combinators need four values to report errors
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 355-364
-
- Article
-
- You have access
- Export citation
Functional Pearl Deduction for functional programmers
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 365-373
-
- Article
-
- You have access
- Export citation
Book Review
An Introduction to Formal Specification and Z by Ben Potter, Jane Sinclair and David Till, Prentice-Hall, 1991. - Z: An Introduction to Formal Methods (second edition) by Antoni Diller, John Wiley & Sons, 1994.
- Part of:
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. 375-377
-
- Article
-
- You have access
- Export citation
Front cover (OFC, IFC) and matter
JFP volume 6 issue 2 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 6 issue 2 Cover and Back matter
-
- Published online by Cambridge University Press:
- 07 November 2008, pp. b1-b3
-
- Article
-
- You have access
- Export citation