Not registered as user yet

Name:Ulysse Gérard
Affiliation:INRIA

Contributions

HOPE 2018 Author of Functional programming with MLTS within the HOPE 2018-track