铁氧体:Rust中的会话类型的判断性嵌入

摘要:Ferrite:一种Rust中会话类型的浅嵌入

作者:Ruo Fei Chen, Stephanie Balzer, and Bernardo Toninho

论文ID:2205.06921

分类:Programming Languages

分类简称:cs.PL

提交时间:2022-06-01

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