Ingénierie logicielle avancéeStructures De TypesIntroductionStructures de Types Algebre des types, ADTs et fonctions totales : les bases d’un systeme de types expressif.Last updated on December 27, 2025Code et data : une dualité fondamentaleAlgèbre des types : produits et sommes