1 results
Types and trace effects of higher order programs
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 2 / March 2008
- Published online by Cambridge University Press:
- 01 March 2008, pp. 179-249
-
- Article
-
- You have access
- Export citation