Savary Belanger, O., Monnier, S., & Pientka, B. (2015). Programming type-safe transformations using higher-order abstract syntax. Journal of Formalized Reasoning, 8(1), 49–91. https://doi.org/10.6092/issn.1972-5787/5122