Type inference with subtypes (1988)

by Y-C Fuh, P Mishra
Venue:in ‘Proceedings of the Second European Symposium on Programming’, North-Holland Publishing Co