User:Alexkachanov/Books/Type theory

Type theory

 * Liskov substitution principle
 * Circle-ellipse problem
 * Composition over inheritance
 * SOLID (object-oriented design)
 * Duck typing
 * Strong and weak typing