MetaML and multi-stage programming with explicit annotations

Walid Taha, Tim Sheard. MetaML and multi-stage programming with explicit annotations. Theoretical Computer Science, 248(1-2):211-242, 2000. [doi]

Bibliographies