28 citations · 82 across the 19 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
A Typed Slicing Compilation of the Polymorphic RPC Calculus
Kwanghoon Choi, James Cheney, Sam Lindley +1
The polymorphic RPC calculus allows programmers to write succinct multitier programs using polymorphic location constructs. However, until now it lacked an implementation. We devel…
cs.PL2021★ 6 cited
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…