摘要：基于IoC设计原则的嵌入式会话类型新语言实现
作者：Peter Thiemann
论文ID：2303.01278
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-03-03
PDF 下载： 英文版 中文版pdf翻译中