Subtyping Dependent Types (2000)

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