Comprendre les différentes classes de polymorphisme : paramétrique, inclusion,ad hoc, de rangées, borné, et ses utilisations pour la conception de bibliothèques réutilisables, justifier l'emploi de modèles de conception qui sortent du typage statique.
Expérience du responsable dans le domaine de l’UE
Mes thèmes de recherche sont articulés autour des langages fonctionnels statiquement typés, en particulier du langage Caml. Ces travaux s'inscrivent dans le développement d'environnement de programmation (compilation efficace, interopérabilité et aide au développement), dans la réalisation d'applications justifiant l'utilisation de tels langages et dans l'intégration d'autres paradigmes de programmation (parallélisme, programmation par objets) dans le cadre confortable du typage statique.
