Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming - Weirich, Stephanie (ACM Conferences, 2013)