Séances de cours associées à Sémantique opérationnelle : Amyli Language

Séances de cours associées (32)

Opérateurs et expressions : programmation en C

Explique les opérateurs et les expressions en C, en se concentrant sur l'arithmétique, la comparaison et les opérations logiques.

Vérification de type et reconstruction: équations et unification

S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.