Michael Lopez, Gabriel Dos Reis. Meta-programming with well-typed code analysis. In Roger L. Wainwright, Juan Manuel Corchado, Alessio Bechini, Jiman Hong, editors, Proceedings of the 30th Annual ACM Symposium on Applied Computing, Salamanca, Spain, April 13-17, 2015. pages 2119-2121, ACM, 2015. [doi]
Abstract is missing.