Ryan Kavanagh
where else to find them
no profile links on file
what they talk about
where they keep going back
- OOPSLA2 editions2023–2024
on a stage with
all 4 in the filters
who talks about the same things
- Brigitte Pientka15 talks
- Chuta Sano3 talks
- Nobuko Yoshida13 talks
- Raymond Hu7 talks
- Deepak Garg18 talks
- Lukasz Ziarek3 talks
| title | conference | date |
|---|---|---|
| Fusing Session-Typed Concurrent Programming into Functional Programming | ICFP 2025 | 2025-10-12 |
FuSes embeds a session-typed process calculus inside a pure functional language and ships a formal type system with operational semantics and a machine-checked… | ||
| Message-Observing Sessions | OOPSLA 2024 | 2024-10-20 |
Most is a process language that adds message-observing session types — a restricted form of type-level computation — to binary session types so protocols on… | ||
| Mechanizing Session-Types using a Structural View: Enforcing Linearity without ... | OOPSLA 2023 | 2023-10-23 |
Claims a method that removes linear contexts by embedding linearity as local predicates, mechanizes a session-typed CP variant called structural classical… | ||
| nothing matches | ||