Multi-Stage Programming: Axiomatization and Type Safety.

Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard

Browse the full ICALP paper archive.