Savary Belanger, Olivier, Stefan Monnier, and Brigitte Pientka. “Programming Type-Safe Transformations Using Higher-Order Abstract Syntax”. Journal of Formalized Reasoning 8, no. 1 (January 1, 2015): 49–91. Accessed April 25, 2024. https://jfr.unibo.it/article/view/5122.