Subtyping Dependent Types (2000)

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