Registered user since Sun 13 Jan 2019

Name:Georges Gonthier
Country:France
Affiliation:Inria

Contributions

CPP 2023 Committee Member in Steering Committee within the CPP 2023-track
Show activities from other conferences

POPL 2023-profile
View general profile