Edwin Brady, Kevin Hammond
A verified staged interpreter is a verified compiler
GPCE, 2006.
@inproceedings{GPCE-2006-BradyH, author = "Edwin Brady and Kevin Hammond", booktitle = "{Proceedings of the Fifth International Conference on Generative Programming and Component Engineering}", doi = "10.1145/1173706.1173724", isbn = "1-59593-237-2", pages = "111--120", publisher = "{ACM}", title = "{A verified staged interpreter is a verified compiler}", year = 2006, }