Couvre les concepts avancés de génériques et de sous-typage en Java, en se concentrant sur l'implémentation LinkedList et l'interface List.
Couvre l'héritage, le polymorphisme et le casting dans la programmation orientée objet, en mettant l'accent sur la factorisation du code et la manipulation générique d'objets.
Discute de l'importance des types, des systèmes de types malsains et des relations inductives pour le système de type d'un petit langage.
Couvre le polymorphisme en C++ par des méthodes virtuelles, expliquant la résolution des méthodes et l'interaction avec les constructeurs.
Couvre les collections hétérogènes en C++, y compris les traitements génériques et le comportement polymorphe à l'aide de pointeurs.
