Not registered as user yet

Name:Maxime Dénès
Affiliation:Inria

Contributions

CoqPL 2023 Session with the Coq Development Team
Show activities from other conferences

POPL 2023-profile
View general profile