Not registered as user yet

Name: Antoine Sere

Country: France

Affiliation: Ecole Polytechnique

Contributions

VMCAI 2020Author of The Correctness of a Code Generator for a Functional Language within the VMCAI 2020-track