![Matthieu Sozeau](https://icfp22.sigplan.org/getProfileImage/matthieusozeau/c9a98501-2d1b-4455-b1ab-01a521944a06/small.jpg?1711472636000)
Registered user since Mon 18 Apr 2016
Name:Matthieu Sozeau
Country:France
Affiliation:Inria
Personal website: http://mattam.org
Research interests:Type Theory, Proof Assistants, Functional Programming, Unification
Contributions
ICFP 2022-profile
View general profile
View general profile