Janek Spaderna
where else to find them
mastodon:@lambda@mstdn.social
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Peter Thiemann15 talks
- Hannes Saffrich4 talks
- Andreia Mordido2 talks
- Ankush Das6 talks
- Nobuko Yoshida13 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… | ||
| A silent semantics for isorecursive session types | ST30 2023 | 2023-10-22 |
Claim: isorecursive session types can often avoid runtime roll/unroll if all recursions are contractive isorecursive types, and an algorithm extracts adapter… | ||
| Parameterized Algebraic Protocols | PLDI 2023 | 2023-06-17 |
The work defines algebraic session types that name recursion like algebraic datatypes and claim type equivalence becomes linear-time nominal check instead of… | ||
| nothing matches | ||