conf.researchr.org / Pedro Vasconcelos
![Pedro Vasconcelos](https://conf.researchr.org/getProfileImage/pedrovasconcelos/d637232d-7b47-45c5-8539-5f4e51554c45/small.jpg?1711595914000)
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