Andreia Mordido

Registered user since Fri 1 Feb 2019

Name:Andreia Mordido
Affiliation:Lasige / Faculty of Sciences, Universidade de Lisboa

Contributions

WITS 2022 Deciding type equivalence with simple grammars
Show activities from other conferences

POPL 2022-profile
View general profile