1 results
MetaKlaim: a type safe multi-stage language for global computing
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 3 / June 2004
- Published online by Cambridge University Press:
- 20 May 2004, pp. 367-395
-
- Article
- Export citation