Le moteur de recherche
des thèses françaises
Giuseppe Castagna
IdRefMots clés
FR |
EN
Théorie des types
Langages de programmation
Typage
Sémantique
Types ensemblistes
Langage fonctionnel
Optimisation
XML (langage de balisage)
Logique mathématique
Théorie des ensembles
Lambda-calcul
Systèmes de types
Sous-typage
Inférence de types
Typage graduel
Sémantiques non-strictes
Types abstraits de données (informatique)
Types graduels
Langages de programmation -- Sémantique
Objet orienté