Hugo Herbelin

Not registered as user yet

Name: Hugo Herbelin

Country: France

Affiliation: INRIA

Contributions

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

POPL 2018-profile
View general profile