Guilhem Jaber - POPL 2020

Registered user since Fri 3 Jul 2015

Name:Guilhem Jaber

Country:France

Affiliation:LS2N, Université de Nantes

Contributions

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