Research Article
Trust in the λ-calculus
-
- Published online by Cambridge University Press:
- 01 November 1997, pp. 557-591
-
- Article
-
- You have access
- Export citation
A functional description of TEX's formula layout
-
- Published online by Cambridge University Press:
- 01 September 1997, pp. 451-485
-
- Article
-
- You have access
- Export citation
Deriving a lazy abstract machine
-
- Published online by Cambridge University Press:
- 01 May 1997, pp. 231-264
-
- Article
-
- You have access
- Export citation
A foundation for actor computation
-
- Published online by Cambridge University Press:
- 01 January 1997, pp. 1-72
-
- Article
-
- You have access
- Export citation
Editorial
EDITORIAL: A HOT opportunity
-
- Published online by Cambridge University Press:
- 01 March 1997, pp. 127-128
-
- Article
-
- You have access
- Export citation
Research Article
A syntactic method for finding least fixed points of higher-order functions over finite domains
-
- Published online by Cambridge University Press:
- 01 July 1997, pp. 357-394
-
- Article
-
- You have access
- Export citation
Extending a λ-calculus with explicit substitution which preserves strong normalisation into a confluent calculus on open terms
-
- Published online by Cambridge University Press:
- 01 July 1997, pp. 395-420
-
- Article
-
- You have access
- Export citation
On combinatory complete sets of proper combinators
-
- Published online by Cambridge University Press:
- 01 November 1997, pp. 593-612
-
- Article
-
- You have access
- Export citation
First-order functional languages and intensional logic
-
- Published online by Cambridge University Press:
- 01 January 1997, pp. 73-101
-
- Article
-
- You have access
- Export citation
The call-by-need lambda calculus
-
- Published online by Cambridge University Press:
- 01 May 1997, pp. 265-301
-
- Article
-
- You have access
- Export citation
A new method for functional arrays
-
- Published online by Cambridge University Press:
- 01 September 1997, pp. 487-513
-
- Article
-
- You have access
- Export citation
Leftmost outside-in narrowing calculi
-
- Published online by Cambridge University Press:
- 01 March 1997, pp. 129-161
-
- Article
-
- You have access
- Export citation
NATURAL EXPERT: a commercial functional programming environment
-
- Published online by Cambridge University Press:
- 01 March 1997, pp. 163-182
-
- Article
-
- You have access
- Export citation
Thunks and the λ-calculus
-
- Published online by Cambridge University Press:
- 01 May 1997, pp. 303-319
-
- Article
-
- You have access
- Export citation
On the effectiveness of functional language features: NAS benchmark FT
-
- Published online by Cambridge University Press:
- 01 January 1997, pp. 103-123
-
- Article
-
- You have access
- Export citation
Shrinking lambda expressions in linear time
-
- Published online by Cambridge University Press:
- 01 September 1997, pp. 515-540
-
- Article
-
- You have access
- Export citation
A competitive algorithm for managing sharing in the distributed execution of functional programs
-
- Published online by Cambridge University Press:
- 01 July 1997, pp. 421-440
-
- Article
-
- You have access
- Export citation
Modularity of strong normalization in the algebraic-λ-cube
-
- Published online by Cambridge University Press:
- 01 November 1997, pp. 613-660
-
- Article
-
- You have access
- Export citation
Type and behaviour reconstruction for higher-order concurrent programs
-
- Published online by Cambridge University Press:
- 01 May 1997, pp. 321-347
-
- Article
-
- You have access
- Export citation
EQUALS – a fast parallel implementation of a lazy language
-
- Published online by Cambridge University Press:
- 01 March 1997, pp. 183-217
-
- Article
-
- You have access
- Export citation