Subtyping Dependent Types (2000)

by David Aspinall , Adriana Compagnoni
Citations:67 - 6 self