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

by W Taha, T Sheard
Venue:Theoretical Computer Science