Matthieu Sozeau - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Mon 18 Apr 2016

Name:Matthieu Sozeau

Country:France

Affiliation:Inria

Research interests:Type Theory, Proof Assistants, Functional Programming, Unification

Contributions

POPL 2019	Definitional Proof-Irrelevance without K
CPP 2019	Eliminating Reflection from Type Theory
CoqPL 2019	Session with the Coq Development Team Reification of Shallow-Embedded DSLs in Coq with Automated Verification
Show activities from other conferences