文件名称：minidot:从属对象类型（DOT），自下而上
文件大小：12.07MB
文件格式：ZIP
更新时间：2024-06-05 08:49:22
Coq
一个很好的证明使我们更加明智。 -尤里·马宁（Yuri Manin） DOT微积分及其变化 从下到上对从属对象类型（DOT）演算进行形式化，并在每个步骤中进行稳健性证明。 向相关对象类型的强规范化（ECOOP'17） 从F到DOT：使用定义解释器输入正确性证明（POPL'17） 相关对象类型的类型健全性（OOPSLA'16） 路径相关类型的基础（OOPSLA'14） muDOT