会话类型的最小化形式

摘要:无序的会话类型

作者:Alen Arslanagi''c, Jorge A. P''erez, Dan Frumin

论文ID:2301.05301

分类:Programming Languages

分类简称:cs.PL

提交时间:2023-01-16

PDF 下载: 英文版 中文版pdf翻译中