Typechecking dependent types and subtypes (1988)

by L Cardelli
Venue:In Proceedings of the Workshop on Foundations of Logic and Functional Programming