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

Not registered as user yet

Name:Mário Florido
Affiliation:Universidade do Porto

Contributions

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

Using general profile