4 results
Closed types for a safe imperative MetaML
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 3 / May 2003
- Published online by Cambridge University Press:
- 13 May 2003, pp. 545-571
-
- Article
-
- You have access
- Export citation
Monadic encapsulation of effects: a revised approach (extended version)
-
- Journal:
- Journal of Functional Programming / Volume 11 / Issue 6 / November 2001
- Published online by Cambridge University Press:
- 28 November 2001, pp. 591-627
-
- Article
-
- You have access
- Export citation
Functorial ML
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 6 / November 1998
- Published online by Cambridge University Press:
- 01 November 1998, pp. 573-619
-
- Article
-
- You have access
- Export citation
The hereditary partial effective functionals and recursion theory in higher types1
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 4 / December 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1319-1332
- Print publication:
- December 1984
-
- Article
- Export citation