MetaML and Multi-Stage Programming with Explicit Annotations (1999)

by Walid Taha, Tim Sheard
Venue:Theoretical Computer Science