Research Article
What is a purely functional language?
-
- Published online by Cambridge University Press:
- 01 January 1998, pp. 1-22
-
- Article
-
- You have access
- Export citation
Profiling large-scale lazy functional programs
-
- Published online by Cambridge University Press:
- 01 May 1998, pp. 201-237
-
- Article
-
- You have access
- Export citation
Why the constant ‘undefined’? Logics of partial terms for strict and non-strict functional programming languages
-
- Published online by Cambridge University Press:
- 01 March 1998, pp. 97-129
-
- Article
-
- You have access
- Export citation
Editorial
EDITORIAL
-
- Published online by Cambridge University Press:
- 01 July 1998, pp. 319-321
-
- Article
-
- You have access
- Export citation
Research Article
A theory of weak bisimulation for Core CML
-
- Published online by Cambridge University Press:
- 01 September 1998, pp. 447-491
-
- Article
-
- You have access
- Export citation
Classical logic, continuation semantics and abstract machines
-
- Published online by Cambridge University Press:
- 01 November 1998, pp. 543-572
-
- Article
-
- You have access
- Export citation
Functional runtime systems within the lambda-sigma calculus
-
- Published online by Cambridge University Press:
- 01 March 1998, pp. 131-176
-
- Article
-
- You have access
- Export citation
Efficient graph algorithms using lazy monolithic arrays
-
- Published online by Cambridge University Press:
- 01 July 1998, pp. 323-333
-
- Article
-
- You have access
- Export citation
Algorithm + strategy = parallelism
-
- Published online by Cambridge University Press:
- 01 January 1998, pp. 23-60
-
- Article
-
- You have access
- Export citation
Dynamic tabbing for automatic indentation with the layout rule
-
- Published online by Cambridge University Press:
- 01 September 1998, pp. 493-502
-
- Article
-
- You have access
- Export citation
A type-based escape analysis for functional languages
-
- Published online by Cambridge University Press:
- 01 May 1998, pp. 239-273
-
- Article
-
- You have access
- Export citation
Functorial ML
-
- Published online by Cambridge University Press:
- 01 November 1998, pp. 573-619
-
- Article
-
- You have access
- Export citation
The call-by-need lambda calculus
-
- Published online by Cambridge University Press:
- 01 May 1998, pp. 275-317
-
- Article
-
- You have access
- Export citation
Animated fuzzy logic
-
- Published online by Cambridge University Press:
- 01 September 1998, pp. 503-525
-
- Article
-
- You have access
- Export citation
Structured Operational Semantics of a fragment of the language Scheme
-
- Published online by Cambridge University Press:
- 01 July 1998, pp. 335-365
-
- Article
-
- You have access
- Export citation
Computational types from a logical perspective
-
- Published online by Cambridge University Press:
- 01 March 1998, pp. 177-193
-
- Article
-
- You have access
- Export citation
The dynamic compilation of lazy functional programs
-
- Published online by Cambridge University Press:
- 01 January 1998, pp. 61-81
-
- Article
-
- You have access
- Export citation
Functional unparsing
-
- Published online by Cambridge University Press:
- 01 November 1998, pp. 621-625
-
- Article
-
- You have access
- Export citation
From ML to Ada: Strongly-typed language interoperability via source translation
-
- Published online by Cambridge University Press:
- 01 July 1998, pp. 367-412
-
- Article
-
- You have access
- Export citation
FUNCTIONAL PEARL
Meertens number
-
- Published online by Cambridge University Press:
- 01 January 1998, pp. 83-88
-
- Article
-
- You have access
- Export citation