Titre du sujet de thèse

Effets et polymorphisme de sorte en Théorie des Types

Thesis title

Effects and Sort Polymorphism in Type Theory

Description du sujet de thèse / Full thesis description

Encadrant(s) / Supervisor(s) Discipline(s) Financements / Funding bodies
Tabareau Nicolas

Tanter Éric
Informatique Contrat Doctoral d’Établissement (ex bourse MESR) (50 % , Demande en cours)
Autre (50 % , Demande en cours)
Unité(s) de recherche associée(s) / Associated research unit(s) :
LS2N, UMR 6004 Laboratoire des Sciences du Numérique de Nantes
Departamento de Ciencas de la Computación Universidad de Chile

Télécharger les descriptions complètes : Français : sujet_these_stefan_malevski.pdf
English : sujet_these_stefan_malevski.pdf
Remplir un dossier de candidature pour cette thèse / Send a candidate file for this thesis

Candidatures ouvertes jusqu'au / Candidates opened until : 31/12/2020