Not registered as user yet

Name:Maxime Dénès
Affiliation:INRIA

Contributions

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

POPL 2018-profile
View general profile