1 citations · 1 across the 4 of their papers we have counts for
4 papers · 1 filter
Separating Sessions Smoothly
Simon Fowler, Wen Kokke, Ornela Dardha +2
This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and stro…
Deadlock-Free Session Types in Linear Haskell
Wen Kokke, Ornela Dardha
Priority Sesh is a library for session-typed communication in Linear Haskell which offers strong compile-time correctness guarantees. Priority Sesh offers two deadlock-free APIs fo…
Prioritise the Best Variation
Wen Kokke, Ornela Dardha
Binary session types guarantee communication safety and session fidelity, but alone they cannot rule out deadlocks arising from the interleaving of different sessions. In Classical…
Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke +5
We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structura…