Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Simon Pierre Boulier

Mots clés

FR |

EN

Théorie des types

Traduction de programme

Métaprogrammation

Théorie des types homotopique

Modèle cubique

ML (langage de programmation)