TY  - SER
AU  - Dan for th, Scott
AU  - tomlinson, Chris
TI  - Type Theories and Object-Oriented Programmimg
KW  - Data Abstraction
KW  - Inheritance
KW  - Polymorphism
ER  -