Abstract FR:

Les relations entre types sont un point clé des langages de programmation. Elles caractérisent les possibilités de réutilisation, par exemple dans le polymorphisme et la programmation orientée objet. Une implémentation est proposée par création d’opérations. Présentation de procédés originaux d'instanciation automatique de génériques et de résolution de surcharge par le contexte, utilisant un ordre sur les relations entre types. Le résultat est un vérificateur de types, capable d'instancier automatiquement les opérations réutilisées