Dependent types from counterexamples (2010)

by T Terauchi
Venue:In POPL