Couvre le polymorphisme dans la programmation orientée objet, en se concentrant sur le polymorphisme d'inclusion et sa mise en œuvre à travers des hiérarchies de classes et des méthodes virtuelles.
S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.
Couvre les bases de la programmation orientée objet en C++, y compris l'encapsulation, l'abstraction, et l'importance de regrouper les données et les méthodes.
