APA

Morrisett G., Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory & ACM Special Interest Group on Programming Languages. (2003). Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY: ACM.

Chicago

Morrisett Greg, Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory and ACM Special Interest Group on Programming Languages. 2003. Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY: ACM.

Harvard

Morrisett G., Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory and ACM Special Interest Group on Programming Languages. (2003). Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY: ACM.

MLA

Morrisett Greg, Association for Computing Machinery, ACM Special Interest Group on Algorithms and Computation Theory and ACM Special Interest Group on Programming Languages. Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY: ACM. 2003.