Return to Article Details A View Extension to an Object-Oriented Type System Download Download PDF