Giuseppe Castagna
Mots clés
FR |
EN
Typage
Théorie des types
Langages de programmation
Sémantique
Langage fonctionnel
Optimisation
XML (langage de balisage)
Logique mathématique
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
Types ensemblistes
Langages de programmation -- Sémantique
Transducteurs d'arbres
Arbres réguliers