Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carlos Tomé Cortiñas
conf.researchr.org general profile
ICFP 2022 profile
ICFP 2023 profile
SPLASH 2024 profile
Registered user since Mon 1 Mar 2021
Name:
Carlos Tomé Cortiñas
Country:
Sweden
Affiliation:
Chalmers University of Technology
Contributions
2024
SPLASH
Author of Sensitivity by Parametricity within the OOPSLA 2024-track
2023
ICFP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2022
ICFP
Author of Normalization for Fitch-style Modal Calculi within the ICFP Papers and Events-track
Share
x
Mon 27 Oct 01:07