Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Meven Lennon-Bertrand

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

Using general profile