Alejandro Serrano, Jurriaan Hage. Lightweight soundness for towers of language extensions. In Ulrik Pagh Schultz, Jeremy Yallop, editors, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017. pages 23-34, ACM, 2017. [doi]
Abstract is missing.