POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / Nicolas Tabareau
Nicolas Tabareau

Registered user since Fri 25 May 2018

Name:Nicolas Tabareau
Affiliation:Inria, France

Contributions

CPP 2017 The Next 700 Syntactical models of type theory
CoqPL 2017 Invited Talk -- Managing Logical and Computational Complexity using Program Transformations
POPL 2017 ERC member in External Review Committee within the POPL-track
Show activities from other conferences

POPL 2017-profile
View general profile