Carlos Tomé Cortiñas
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Alejandro Russoonce
- Elisabet Lobo-Vesgaonce
- Fabian Ruchonce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Sensitivity by Parametricity | OOPSLA 2024 | 2024-10-20 |
A method reduces proving a function’s sensitivity to ordinary type-checking by encoding metric relations at the type level and exploiting parametric… | ||
| Normalization for Fitch-Style Modal Calculi | ICFP 2022 | 2022-09-11 |
Claims a modular semantic normalization procedure for Fitch-style modal lambda calculi: it builds Normalization by Evaluation models from a single… | ||
| nothing matches | ||