Type inference with subtypes (1988)

by R Stansifer
Venue:In Proc. ACM Symposium on Principles of Programming Languages