Le moteur de recherche
des thèses françaises
Kim Nguyen
IdRefMots clés
FR |
EN
Langages de programmation
Typage
Langage fonctionnel
Transducteurs d'arbres
Optimisation
Arbres réguliers
XML (langage de balisage)
Bases de données
Requêtes intégrées au langage
Langages centrés données
Bases de données -- Interrogation
Compilation (informatique)
Systèmes de types
Systèmes de types à effets
Sécurité