Return to Article Details A Unified Type System for Object-Oriented Programming Download Download PDF