Introduction complète aux systèmes de types et aux langages de programmation. Un système de types est une méthode syntaxique permettant de vérifier automatiquement l'absence de certains comportements erronés en classant les phrases de 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 typologique trouve d'importantes applications en génie logiciel, en conception de langages, en compilation haute performance et en sécurité. Cet ouvrage propose une introduction complète aux systèmes de types en informatique et à la théorie fondamentale des langages de programmation. L'approche est pragmatique et opérationnelle ; chaque nouveau concept est illustré par des exemples de programmation et les sections plus théoriques sont guidées par les besoins d'implémentation.