Michael I. Schwartzbach
-
Object-oriented type inference
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Type Inference of SELF
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming