MetaML and multi-stage programming with explicit annotations (2000)

by W Taha, T Sheard
Venue:Theoretical Computer Science