Ornela Dardha

Separating Sessions Smoothly

2021 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

<p>This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, and strong normalisation. HGV exploits hyper-environments, which are collections of type environments, …