Types pour des langages de programmation orientée d'objet et fonctionnelle
FR |
EN
Auteur / Autrice : | Silvia Likavec |
Direction : | Viviana Bono, Pierre Lescanne |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2004 |
Etablissement(s) : | Lyon, École normale supérieure (sciences) |