Nicolas Tabareau

Registered user since Fri 25 May 2018

Name: Nicolas Tabareau

Affiliation: Inria

Contributions

DLS 2015 Gradual Certified Programming in Coq
Show activities from other conferences

SPLASH 2015-profile
View general profile