Xavier Leroy - POPL 2020

Registered user since Thu 19 Oct 2017

Name: Xavier Leroy

Country: France

Affiliation: Collège de France

Personal website: https://xavierleroy.org/

Contributions

PLMW 2020	Invited Speaker in Invited speakers within the PLMW 2020-track Author of Theorem provers are a P.L. researcher's best friend within the PLMW 2020-track
POPL 2020	Panelist in Panel within the POPLmark 15 Year Retrospective Panel-track
Show activities from other conferences