ETAPS 2019 (series) / Pedro Vasconcelos
Registered user since Fri 10 Apr 2015
Name:Pedro Vasconcelos
Country:Portugal
Affiliation:LIACC, Universidade do Porto, Porto, Portugal
Personal website: www.dcc.fc.up.pt/~pbv/research
Research interests:functional programming, type systems, type-based analysis
Contributions
2019
ETAPS 2019-profile
View general profile
View general profile