Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rodrigo Marques
conf.researchr.org general profile
ICFP 2022 profile
Registered user since Wed 29 Jun 2022
Name:
Rodrigo Marques
Affiliation:
Universidade do Porto
Contributions
2022
ML
Author of Towards Algebraic Subtyping for Extensible Records within the ML-track
Share
x
Thu 28 Mar 21:44