Magalhães, J. P., & Löh, A. (2012). A Formal Comparison of Approaches to Datatype-Generic Programming. Electronic proceedings in theoretical computer science, 76(Proc. MSFP 2012), 50-67. https://doi.org/10.4204/EPTCS.76.6
Chicago Style (17th ed.) CitationMagalhães, José Pedro, and Andres Löh. "A Formal Comparison of Approaches to Datatype-Generic Programming." Electronic Proceedings in Theoretical Computer Science 76, no. Proc. MSFP 2012 (2012): 50-67. https://doi.org/10.4204/EPTCS.76.6.
MLA (9th ed.) CitationMagalhães, José Pedro, and Andres Löh. "A Formal Comparison of Approaches to Datatype-Generic Programming." Electronic Proceedings in Theoretical Computer Science, vol. 76, no. Proc. MSFP 2012, 2012, pp. 50-67, https://doi.org/10.4204/EPTCS.76.6.