Dependent types from counterexamples (2010)

by T Terauchi
Venue:In ACM Symposium on Principles of Programming Languages (POPL’10