Not registered as user yet

Name: Guillaume Melquiond

Affiliation: Inria

POPL 2017 Activities

• Committee Member in Program Committee for CoqPL 2017
• Show activities from other conferences