Couvre les structures de contrôle, les boucles et les fonctions en langage C, en soulignant l'importance des variables locales et en évitant les variables globales.
Explore le sous-typage, le calcul de type et le calcul de limites de type dans un système avec sous-typage, guidant à travers des exercices et des preuves étape par étape.
