Hugo Herbelin

Registered user since Sat 22 Jan 2022

Name:Hugo Herbelin
Country:France
Affiliation:INRIA

Contributions

CoqPL 2018 Committee Member in Program Committee within the -track
Show activities from other conferences

POPL 2018-profile
View general profile