Pedro Vasconcelos

Registered user since Fri 10 Apr 2015

Name:Pedro Vasconcelos
Affiliation:LIACC, Universidade do Porto, Porto, Portugal
Research interests:functional programming, type systems, type-based analysis


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