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

by W Taha, T Sheard
Venue:Theoretical Computer Science