Registered user since Sun 13 Jan 2019

Name:Georges Gonthier
Country:France
Affiliation:Inria

Contributions

Show activities from other conferences

POPL 2023-profile
View general profile