Typechecking dependent types and subtypes (1986)

by L Cardelli
Venue:In Foundations of Logic and Functional Programming, volume 306 of LNCS