TypeInference

• http://typeinference.swiki.net
• http://www.cc.gatech.edu/~lex/ti/ti.html

• Concrete Type Inference: Delivering Object-Oriented Applications Ole Agesen http://research.sun.com/techrep/1996/abstract-52.html

• Type Inference of Self: Analysis of Objects with Dynamic and Multiple Inheritance http://research.sun.com/self/papers/type-inference.html