2 results
The recursive record semantics of objects revisited
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 3 / May 2004
- Published online by Cambridge University Press:
- 14 April 2004, pp. 263-315
-
- Article
-
- You have access
- Export citation
A semantics for lambda calculi with resources
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 4 / August 1999
- Published online by Cambridge University Press:
- 01 August 1999, pp. 437-482
-
- Article
- Export citation