Return to Article Details Efficient Inference of Partial Types Download Download PDF