Alpha-renaming of higher-order meta-expressions

David Sabel. Alpha-renaming of higher-order meta-expressions. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 151-162, ACM, 2017. [doi]

Abstract

Abstract is missing.