Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) (1998)

Cached

Download Links

by Walid Taha , Zine-el-abidine Benaissa , Tim Sheard
Venue:In 25th International Colloquium on Automata, Languages, and Programming
Citations:34 - 15 self