逐步类型化的效果处理器
摘要：支持从未检查到已检查效果类型迁移的渐进类型语言GrEff的介绍 通过改编为核心语言Core GrEff，为GrEff提供表面语言的语义 为核心语言Core GrEff配备了用于推理语义错误排序和预期程序等价性的不等式理论 根据可证明的等式推导出了语言的操作语义 通过构建操作逻辑关系模型证明了理论的正确性，证明了渐进性定理 扩展了处理效果类型和子类型的渐进类型嵌入-投射对模型的先前工作。
作者：Max S. New, Eric Giovannini, Daniel R. Licata
论文ID：2304.02145
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-06