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
ICFP 2022-profile
View general profile
View general profile