Type inference with subtypes (1992)

by N Oxhj, J Palsberg, M I Schwartzbach
Venue:In ECOOP'92 European Conference on Object-Oriented Programming, volume 615 of Lecture notes in Computer Science