Typechecking Dependent Types and Subtypes (1986)

by L Cardelli
Venue:Foundations of Logic and Functional Programming, volume 306 of Lecture Notes in Computer Science