Arthur Charguéraud

Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

Registered user since Thu 11 Jun 2015

Name: Arthur Charguéraud

Country: France

Affiliation: Inria

Personal website: http://arthur.chargueraud.org

Contributions

ML 2017	Author of VOCAL -- a verified OCAml Library within the ML 2017-track Author of Efficient representation of large, dynamic sequences in ML within the ML 2017-track
Show activities from other conferences