Type inference for objects with instance variables and inheritance (1989)

by Mitchell Wand
Venue:College of Computer Science, Northeastern University