平滑分离会话
摘要：Hypersequent GV：一种模块化和可扩展的核心计算模型，用于具有会话类型的函数式编程，具有无死锁、合流和强范式性。HGV利用超环境来确保结构相容性与类型保持一致。因此，我们获得了HGV与基于超序列的HCp的操作对应关系，而后者与经典线性逻辑（CLL）的命题即类型一致。我们从HGV到HCP的翻译以及相反方向的翻译都保持并反映了规约。HGV平滑地扩展以支持Girard的混合规则，这是通道转发和异常的关键因素。
作者：Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
论文ID：2105.08996
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-12