On Type Inference for Object-Oriented Programming Languages.

Hans Lei

Browse the full CSL paper archive.