Pedro Vasconcelos - ICFP 2022 (original) (raw)
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