Registered user since Mon 5 Sep 2016
Name:Vasco T. Vasconcelos
Country:Portugal
Affiliation:LASIGE, Faculty of Sciences, University of Lisbon
Personal website:http://www.di.fc.ul.pt/~vv/
Contributions
| WITS 2022 | Deciding type equivalence with simple grammars | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile