ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Pedro Vasconcelos

Registered user since Fri 10 Apr 2015

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

Contributions

ML 2022 Towards Algebraic Subtyping for Extensible Records
Show activities from other conferences

Using general profile