Adrián Doña Mateo - POPL 2023 (original) (raw)

POPL 2023 (series) / Adrián Doña Mateo

• conf.research.org general profile

Not registered as user

Name:Adrián Doña Mateo

Affiliation:The University of Edinburgh

Contributions

2023

CPP

• Encoding Dependently-Typed Constructions into Simple Type Theory

Show activities from other conferences

Share

POPL 2023-profile
View general profile