摘要：基于shift0/reset0的时态属性验证的效应系统扩展
作者：Taro Sekiyama and Hiroshi Unno
论文ID：2207.10386
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-22
PDF 下载： 英文版 中文版pdf翻译中