IWillSaveGod的专栏

  Typing of ? Encapsulation (Solved: “existential types” [Girard 71]) ?  Inheritance (Partially solved) ?  Polymorphism (Open issue)         Typing Inheritance 1. Covariant Typing Animal {   

OO Type System 1983 A Semantics of Multiple Inheritance [Cardelli]1989 Inheritance is not Subtyping [Cook, Hill, Canning]1993 A Paradigmatic Object-Oriented Programming Language:Design, Static Typing