Séances de cours associées à Substructural type system

Explore les règles de sous-typage, les défis et son lien avec diverses formes de polymorphisme dans les langages de programmation.

Explore les principes de thermodynamique, l'enthalpie, les réactions et la loi de Hess dans les systèmes chimiques.

Couvre les pointeurs sur les chaînes, les fonctions et le casting en programmation C.

Couvre les règles de type, la vérification de type de programme, la solidité et les techniques de preuve.

Couvre la thermodynamique chimique, les fonctions d'état, l'enthalpie, les processus spontanés, et les limites de la première loi.