Dependent types and program equivalence.

Limin Jia, Jianzhou Zhao, Vilhelm Sjberg, Stephanie Weirich

Browse the full POPL paper archive.