Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming