Return to Article Details Object-Oriented Type Inference Download Download PDF