Elena Zucca
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2022–2023
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Resource-Aware Soundness for Big-Step Semantics | OOPSLA 2023 | 2023-10-23 |
Extends a call-by-value language with grades that track resource use at evaluation time and a matching graded type system, proving that well-typed programs… | ||
| Coeffects for Sharing and Mutation | OOPSLA 2022 | 2022-12-05 |
Coeffects model sharing in a Java-like calculus by representing effects as sets-of-links coeffects with a distinguished res link for result aliasing and… | ||
| nothing matches | ||