APA

Weirich S., Association for Computing Machinery, . (2013). Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming. New York, NY: ACM.

Chicago

Weirich Stephanie, Association for Computing Machinery, . 2013. Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming. New York, NY: ACM.

Harvard

Weirich S., Association for Computing Machinery, . (2013). Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming. New York, NY: ACM.

MLA

Weirich Stephanie, Association for Computing Machinery, . Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming. New York, NY: ACM. 2013.