GPCE 2015
Mon 26 - Tue 27 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
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