Dependent types and program equivalence (2010)

by Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich
Venue:In POPL ’10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages