APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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