Walid Taha
A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial
PEPM, 2000.
@inproceedings{PEPM-2000-Taha,
author = "Walid Taha",
booktitle = "{Proceedings of the Seventh Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
doi = "10.1145/328690.328697",
isbn = "1-58113-201-8",
pages = "34--43",
publisher = "{ACM}",
title = "{A Sound Reduction Semantics for Untyped CBN Multi-stage Computation. Or, the Theory of MetaML is Non-trivial}",
year = 2000,
}