Algorithmic Aspects of Type Inference with Subtypes.

Patrick Lincoln, John C. Mitchell

Browse the full POPL paper archive.