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