3 results
Fully abstract translations between functional languages
-
- Journal:
- Mathematical Structures in Computer Science / Volume 3 / Issue 4 / December 1993
- Published online by Cambridge University Press:
- 04 March 2009, pp. 387-415
-
- Article
- Export citation
Reference counting as a computational interpretation of linear logic
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 195-244
-
- Article
-
- You have access
- Export citation
Conditions for the completeness of functional and algebraic equational reasoning
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 6 / December 1999
- Published online by Cambridge University Press:
- 01 December 1999, pp. 651-685
-
- Article
- Export citation