Nicolas Tabareau

Registered user since Fri 25 May 2018

Name:Nicolas Tabareau
Affiliation:Inria, France

Contributions

CoqPL 2018 Typed Template Coq
PriSC 2018 Foundations of Dependent Interoperability
Show activities from other conferences

POPL 2018-profile
View general profile