Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance
Ole Agesen, Jens Palsberg, Michael I. Schwartzbach · DAIMI Report Series · 1993
We have designed and implemented a type inference algorithm for the full SELF language. The algorithm can guarantee the safety and disambiguity of message sends, and provide useful information for browsers and optimizing compilers.