Object-oriented type systems

Object-Oriented Languages and Type Systems The BOPL Language The Rest of this Book Type Checking Type Inference Inheritance Genericity The BOPL Grammar The Workbench.