Hannes Saffrich
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
who talks about the same things
- Peter Thiemann15 talks
- Janek Spaderna3 talks
- Chuta Sano3 talks
- Raymond Hu7 talks
- Ryan Kavanagh3 talks
- Brigitte Pientka15 talks
| title | conference | date |
|---|---|---|
| Borrowing From Session Types | OOPSLA 2025 | 2025-10-16 |
Proposes BGV, a session‑type API that replaces resource‑passing with borrowing via a split primitive that carves a channel into a single‑action borrow and a… | ||
| Polymorphic Typestate for Session Types | PPDP 2023 | 2023-10-22 |
Claims that a typestate-based model, using PolyVGR with higher-order polymorphism and existential types, matches the expressivity of functional and linear… | ||
| Kindly Bent to Free Us | SPLASH 2022 | 2022-12-05 |
Affe is an ML extension that enforces single-use and drop-able resources by inferring linear and affine kinds and lexical regions and solving constrained-kind… | ||
| Kindly Bent to Free Us | ICFP 2020 | 2020-08-23 |
A new ML extension called Affe enforces linearity and affinity so a database use-after-free example compiles in OCaml but is rejected at compile time here. It… | ||
| nothing matches | ||