Registered user since Thu 19 Oct 2017
Name: Xavier Leroy
Country: France
Affiliation: Collège de France
Personal website: https://xavierleroy.org/
Contributions
| OCaml 2019 | Author of Invited Talk within the OCaml 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile