Searching for "MetaML and multi-stage programming with explicit annotations." – sorted by Relevance.
-
MetaML and Multi-Stage Programming with Explicit Annotations
- MetaML and Multi-Stage Programming with Explicit Annotations ? Walid Taha and Tim Sheard Oregon
- Cited by 175 (30 self) – Add To MetaCart
-
Semantic and Logical Properties of Stateful Programming
- Press. Walid Taha and Tim Sheard. MetaML and multi-stage programming with explicit annotations
- Cited by 6 (2 self) – Add To MetaCart

