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

POPL 2017-profile
View general profile