APA

Pierce B. C., Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory & ACM Special Interest Group on Programming Languages. (2012). Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. New York, NY: ACM.

Chicago

Pierce Benjamin C, Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory and ACM Special Interest Group on Programming Languages. 2012. Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. New York, NY: ACM.

Harvard

Pierce B. C., Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory and ACM Special Interest Group on Programming Languages. (2012). Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. New York, NY: ACM.

MLA

Pierce Benjamin C, Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory and ACM Special Interest Group on Programming Languages. Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation. New York, NY: ACM. 2012.