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