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