Object-Oriented Type Inference.

Jens Palsberg, Michael I. Schwartzbach

Browse the full OOPSLA paper archive.