Ml f : Une extension de ML avec polymorphisme de second ordre et instanciation implicite
FR |
EN
Auteur / Autrice : | Didier Le botlan |
Direction : | Didier Rémy |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2004 |
Etablissement(s) : | Palaiseau, Ecole polytechnique |
Mots clés
FR