Séances de cours associées à Strong and weak typing

Séances de cours associées (31)

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.