APA (7th ed.) Citation

Savary Belanger, O., Monnier, S., & Pientka, B. (2015). Programming type-safe transformations using higher-order abstract syntax. Alma Mater Studiorum - University of Bologna.

Chicago Style (17th ed.) Citation

Savary Belanger, Olivier, Stefan Monnier, and Brigitte Pientka. Programming Type-safe Transformations Using Higher-order Abstract Syntax. Alma Mater Studiorum - University of Bologna, 2015.

MLA (9th ed.) Citation

Savary Belanger, Olivier, et al. Programming Type-safe Transformations Using Higher-order Abstract Syntax. Alma Mater Studiorum - University of Bologna, 2015.