Edwin Brady, Kevin Hammond. A verified staged interpreter is a verified compiler. In Stan Jarzabek, Douglas C. Schmidt, Todd L. Veldhuizen, editors, Generative Programming and Component Engineering, 5th International Conference, GPCE 2006, Portland, Oregon, USA, October 22-26, 2006, Proceedings. pages 111-120, ACM, 2006. [doi]
Abstract is missing.