Rui Ge, Ronald Garcia. Refining semantics for multi-stage programming. In Matthew Flatt, Sebastian Erdweg, editors, Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2017, Vancouver, BC, Canada, October 23-24, 2017. pages 2-14, ACM, 2017. [doi]
Abstract is missing.