DMCA

Dependent types and program equivalence (2009)

by Limin Jia , Jianzhou Zhao , Vilhelm Sjöberg , Stephanie Weirich
Venue:In Proceedings of the 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL). ACM
Citations:8 - 3 self