Typesensemblistes polymorphes pour languages à objets et fonctionnels

par Tommaso Petrucciani

Projet de thèse en Informatique

Sous la direction de Giuseppe Castagna.

Thèses en préparation à Sorbonne Paris Cité en cotutelle avec l'UNIVERSITE DE GÊNES , dans le cadre de SCIENCES MATHEMATIQUES DE PARIS CENTRE , en partenariat avec PPS - PREUVES PROGRAMMES ET SYSTEMES (equipe de recherche) depuis le 31-05-2016 .


  • Pas de résumé en français disponible.


  • Pas de résumé disponible.