Guilhem Jaber - POPL 2020

Registered user since Fri 3 Jul 2015

Name: Guilhem Jaber

Country: France

Affiliation: LS2N, Université de Nantes

Personal website: http://guilhem.jaber.fr

Contributions

POPL 2020	Committee Member in Selection Committee within the Student Research Competition-track Author of SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References within the Research Papers-track
Show activities from other conferences