Meven Lennon-Bertrand - POPL 2022

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

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

2022

POPL

Gradualizing the Calculus of Inductive Constructions

WITS

Show activities from other conferences

POPL 2022-profile
View general profile