Enrico Tassi - POPL 2023 (original) (raw)

Name:Enrico Tassi

Country:France

Affiliation:INRIA

Personal website: http://www-sop.inria.fr/members/Enrico.Tassi/

Research interests:Interactive Theorem Provers, Functional Programming, Logic Programming