Typechecking dependent types and subtypes (1986)

by L CARDELLI
Venue:In Foundations of Logic and Functional Programming. Lecture Notes in Computer Science