Ornela Dardha
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
- Daniel Hillerströmonce
- James McKinnaonce
- Luís Cairesonce
all 10 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Structural Subtyping as Parametric Polymorphism | OOPSLA 2023 | 2023-10-23 |
Compares structural subtyping for records and variants with row and presence polymorphism and gives compositional translations that preserve types and… | ||
| Towards Session-Typed Consensus | ST30 2023 | 2023-10-22 |
Attempts to encode Raft in MAGπ show the calculus models non-Byzantine faults, asynchronous messaging, undirected branching and timeouts but fails to enforce… | ||
| Future Directions for Session Types | ST30 2023 | 2023-10-22 |
Panelists argue concrete next steps: integrate failure handling plus timeouts/congestion into the theory, design a missing module system for session types, and… | ||
| nothing matches | ||