3 results
How to evaluate the performance of gradual type systems
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 29 / 2019
- Published online by Cambridge University Press:
- 20 February 2019, e4
-
- Article
-
- You have access
- Export citation
Type-based confinement
-
- Journal:
- Journal of Functional Programming / Volume 16 / Issue 1 / January 2006
- Published online by Cambridge University Press:
- 13 September 2005, pp. 83-128
-
- Article
-
- You have access
- Export citation
Coordination and mobility in CoreLime
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 3 / June 2004
- Published online by Cambridge University Press:
- 20 May 2004, pp. 397-419
-
- Article
- Export citation