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