APA

Kennedy A., Association for Computing Machinery, ACM Special Interest Group on Programming Languages & ACM Special Interest Group on Algorithms and Computation Theory. (2010). Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation. New York, NY: ACM.

Chicago

Kennedy Andrew, Association for Computing Machinery, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Algorithms and Computation Theory. 2010. Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation. New York, NY: ACM.

Harvard

Kennedy A., Association for Computing Machinery, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Algorithms and Computation Theory. (2010). Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation. New York, NY: ACM.

MLA

Kennedy Andrew, Association for Computing Machinery, ACM Special Interest Group on Programming Languages and ACM Special Interest Group on Algorithms and Computation Theory. Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation. New York, NY: ACM. 2010.