Un système de type est une méthode syntactique pour un contrôle
d’absences automatique de certains comportementaux erronés en
classifiant les constructions d’un programme selon les types de
valeurs qu’elles calculent. L’étude des systèmes de types et des
langages de programmation d’un point de vue théorique possèdent
des applications importantes en génie logiciel. Ce cours fourni une
introduction à la fois des systèmes de types et à la théorie de base
des langages de programmation