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

DICE-FOPARA 2019PC Member in Program Committee within the DICE-FOPARA-track
ESOP 2015Author of Type-based Allocation Analysis for Co-Recursion in Lazy Functional Languages within the ESOP-track