APA (7th ed.) Citation

Weirich, S. (2013). DTP '13: Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA. ACM.

Chicago Style (17th ed.) Citation

Weirich, Stephanie. DTP '13: Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA. [Place of publication not identified]: ACM, 2013.

MLA (9th ed.) Citation

Weirich, Stephanie. DTP '13: Proceedings of the 2013 ACM SIGPLAN Workshop on Dependently-Typed Programming : September 24, 2013, Boston, Massachusetts, USA. ACM, 2013.