compsci

Apr 2

• http://en.wikipedia.org/wiki/Inheritance_(object-oriented_programming)
• http://en.wikipedia.org/wiki/Subtyping
• http://en.wikipedia.org/wiki/Behavioral_subtyping

Apr 1

• http://en.wikipedia.org/wiki/Type_theory
• http://en.wikipedia.org/wiki/Type_system