Savary Belanger, O.; Monnier, S.; Pientka, B. Programming Type-Safe Transformations Using Higher-Order Abstract Syntax. JFR 2015, 8, 49-91.