Not registered as user yet

Name:Antoine Sere
Country:France
Affiliation:Ecole Polytechnique

Contributions

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