Explore la programmation fonctionnelle vérifiée, la vérification formelle, les résolveurs SMT, la vérification de type, les fonctionnalités Scala, l'automatisation et les types dépendants.
Discute des types avancés en C, y compris les types énumérés, les typesdefs et les structures, avec des exemples pratiques pour illustrer leur utilisation.
Explore les cartes, les opérateurs de type, l'équivalence, les types de première classe, System Fw, Coq, et les défis de la vérification de type dans les langages de programmation.
Couvre la mise en œuvre de collections hétérogènes dans la programmation orientée objet C ++, en se concentrant sur la gestion de la mémoire et les choix de conception.
