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