Lower Bounds on Type Inference with Subtypes.

My Hoang, John C. Mitchell

Browse the full POPL paper archive.