Walid Taha, Tim Sheard. MetaML and multi-stage programming with explicit annotations. Theoretical Computer Science, 248(1-2):211-242, 2000. [doi]
@article{TahaS00,
title = {{MetaML} and multi-stage programming with explicit annotations},
author = {Walid Taha and Tim Sheard},
year = {2000},
doi = {10.1016/S0304-3975(00)00053-0},
url = {http://dx.doi.org/10.1016/S0304-3975(00)00053-0},
tags = {programming languages, semantics, rule-based, type soundness, language engineering, software language engineering, language design, principles, type system, software engineering, code generation, type checking, programming, staged computation, design},
researchr = {https://researchr.org/publication/TahaS00},
cites = {0},
citedby = {1},
journal = {Theoretical Computer Science},
volume = {248},
number = {1-2},
pages = {211-242},
}