Séance de cours

Résolution des contraintes de type

Description

Cette séance de cours couvre le processus de résolution des contraintes de type dans les langages de programmation, en se concentrant sur l'algorithme d'unification et ses propriétés. Il explique comment déduire des types en utilisant l'élimination gaussienne, les règles d'unification et la généralisation pour une inférence de type plus flexible.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.