Registered user since Tue 12 Jan 2021
Name: Meven Lennon-Bertrand
Country: France
Affiliation: Inria – LS2N, Université de Nantes
Personal website: http://www.meven.ac
GitHub: https://github.com/MevenBertrand
Contributions
| CPP 2021 | Gradualizing the Calculus of Inductive Constructions | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile