Knowledge Tree

researcher / Benoît Montagu

Benoît Montagu

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts