24 citations · 37 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)
Paul Harvey, Simon Fowler, Ornela Dardha +1
Human fallibility, unpredictable operating environments, and the heterogeneity of hardware devices are driving the need for software to be able to adapt as seen in the Internet of…
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…