Return to Article Details Type Inference with Selftype Download Download PDF