Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tomás Diaz
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
POPL 2026 profile
SPLASH 2018 profile
Registered user since Wed 25 Aug 2021
Name:
Tomás Diaz
Country:
Chile
Affiliation:
University of Chile
Contributions
2026
POPL
Author of Bounded Sort Polymorphism with Elimination Constraints within the POPL-track
2025
SPLASH
Author of Incremental Certified Programming within the OOPSLA-track
Author of Flexible and Expressive Typed Path Patterns for GQL within the OOPSLA-track
2018
DLS
Author of A Trustworthy Mechanized Formalization of R within the DLS 2018-track
Share
x
Thu 22 Jan 23:26
