摘要：鲁棒模块：基于必要性的语言和证明逻辑（Robust modules: A language and proof logic based on necessity）
作者：Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach
论文ID：2209.08205
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-09-20
PDF 下载： 英文版 中文版pdf翻译中