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

by Mitchell Wand
Venue:Theoretical Aspects of Object-Oriented Programming