O. Savary Belanger, S. Monnier, and B. Pientka, “Programming type-safe transformations using higher-order abstract syntax”, JFR, vol. 8, no. 1, pp. 49–91, Jan. 2015.