paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Towards Gradual Multiparty Session Typing

迈向渐进式多党会话类型
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10 · 该论文属于并发编程中的多党会话类型与渐进类型研究，与用户当前核心方向（LLM/Agent 与静态分析的交叉、浮点程序分析、贝叶斯程序分析）没有直接关联；仅在广义 PL/类型系统层面与静态分析邻近。引用 0 inbox
Sung-Shik Jongmans
并发、并行与内存模型类型系统
crossref: 2026-09-12

AI 速览

一句话：提出以渐进类型视角重新诠释多党会话类型，融合静态 MPST 的早期反馈、快速执行与动态 MPST 的高表达力。

并发语言（如 Go、Rust、Clojure）开始原生支持通过共享内存中的 channel 进行消息传递，但 channel 的使用仍易出错；多党会话类型（MPST）正是简化 channel 使用的方法。现有 MPST 分为静态与动态两类：静态 MPST 提供早期反馈与快速执行，动态 MPST 表达力更强但反馈较晚。本文提出一个研究项目，从渐进类型（gradual typing）的视角重新诠释 MPST 方法，旨在兼取二者之长，在单一框架中统一静态检查与动态检查，使开发者能在类型精度与表达力之间按需取舍。论文为项目愿景，未给出实现与实证评估。

问题
如何在保留动态 MPST 高表达力的同时，获得静态 MPST 的早期反馈与快速执行，从而简化并发 channel 编程。
方法
以渐进类型（gradual typing）为透镜重新诠释多党会话类型方法，将静态与动态 MPST 统一到一个渐进框架中。
评估
摘要仅描述研究项目构想，未报告具体实现、案例研究或实证评估。
原文摘要（Abstract）

To make concurrent programming easier, languages (e.g., Go, Rust, Clojure) have started to offer core support for message passing through channels in shared memory. However, channels also have their issues. Multiparty session types (MPST) constitute a method to make channel usage simpler. In this paper, to consolidate the best qualities of “static MPST” (early feedback, fast execution) and “dynamic MPST” (high expressiveness), we present a project that reinterprets the MPST method through the lens of gradual typing.

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot7359,
  title = {Towards Gradual Multiparty Session Typing},
  author = {Sung-Shik Jongmans},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3561167}
}