Hugo Herbelin

Not registered as user yet

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