conf.researchr.org / Pedro Vasconcelos
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

ML 2022 Author of Towards Algebraic Subtyping for Extensible Records within the ML-track
DICE-FOPARA 2019 PC Member in Program Committee within the DICE-FOPARA-track
ESOP 2015 Author of Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages within the ESOP-track