Return to Article Details Type Inference of SELF: Analysis of Objects with Dynamic and Multiple Inheritance Download Download PDF