POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
Pierre-Marie Pédrot

Registered user since Tue 18 Jun 2019

Name:Pierre-Marie Pédrot
Country:France
Affiliation:INRIA
Personal website: https://www.pédrot.fr
Research interests:Type Theory

Contributions

Show activities from other conferences

Using general profile