Type inference of SELF: Analysis of objects with dynamic and multiple inheritance (1993)

by J Palsberg Agesen, M Schwartzbach
Venue:In Proceedings of ECOOP ‘93