Habilitation à Diriger des Recherches

Pour quoi faire ?

Comprendre les concepts les langages

Servir de référence

Guider implanteurs et programmeurs

Raisonner sur les propriétés des langages

Servir de donnée à des méta-outils