David Raymond Christiansen. Type-Directed Elaboration of Quasiquotations: A High-Level Syntax for Low-Level Reflection. In Sam Tobin-Hochstadt, editor, Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, IFL '14, Boston, MA, USA, October 1-3, 2014. pages 1, ACM, 2014. [doi]
Abstract is missing.