Enrico Tassi

Registered user since Mon 26 Aug 2019

Name: Enrico Tassi

Affiliation: INRIA

Contributions

CoqPL 2018 Elpi: an extension language for Coq
Show activities from other conferences

POPL 2018-profile
View general profile