具有回调的内置类型会话

摘要:基于IoC设计原则的嵌入式会话类型新语言实现

作者:Peter Thiemann

论文ID:2303.01278

分类:Programming Languages

分类简称:cs.PL

提交时间:2023-03-03

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