Type Inference for Late Binding: The SmallEiffel Compiler.

Suzanne Collin Dominique Colnet Olivier Zendra Type Inference for Late Binding: The SmallEiffel Compiler. 67-81 1997 conf/jmlc/1997 JMLC db/conf/jmlc/jmlc1997.html#CollinCZ97 http://dx.doi.org/10.1007/3-540-62599-2_31