Types et relations inductivesDiscute 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.
Polymorphisme et preuvesCouvre le polymorphisme paramétrique, énumère la construction, les tuples, les méthodes génériques, le tri de fusion et les propriétés du programme.
Sous-typage et polymorphismeExplore les règles de sous-typage, les défis et son lien avec diverses formes de polymorphisme dans les langages de programmation.
