没有合适的资源?快使用搜索试试~ 我知道了~
minidot:从属对象类型(DOT),自下而上
共629个文件
elf:266个
v:159个
dot:116个
需积分: 0 0 下载量 92 浏览量
2021-05-16
15:02:42
上传
评论
收藏 12.07MB ZIP 举报
温馨提示
一个很好的证明使我们更加明智。 -尤里·马宁(Yuri Manin) DOT微积分及其变化 从下到上对从属对象类型(DOT)演算进行形式化,并在每个步骤中进行稳健性证明。 向相关对象类型的强规范化(ECOOP'17) 从F到DOT:使用定义解释器输入正确性证明(POPL'17) 相关对象类型的类型健全性(OOPSLA'16) 路径相关类型的基础(OOPSLA'14) muDOT
资源详情
资源评论
资源推荐
收起资源包目录
minidot:从属对象类型(DOT),自下而上 (629个子文件)
sync.awk 618B
dot.bib 5KB
sources.cfg 2KB
sources.cfg 0B
sources.cfg 0B
sources.cfg 0B
sources.cfg 0B
sigplanconf.cls 38KB
ex_nat_church.dot 707B
e27.dot 707B
ex_nat_church_e.dot 623B
ex_nat_church_d.dot 589B
ex_nat_church_c.dot 583B
ex_nat_church_b.dot 449B
e27e.dot 439B
ex_nat_church_a.dot 387B
ex_list.dot 356B
ex_nat_anf.dot 342B
e27a.dot 339B
e22i.dot 330B
e27c.dot 330B
ex_norec_nat.dot 325B
p5.dot 320B
ex_nat.dot 306B
e22h.dot 298B
p13a.dot 293B
e27d.dot 289B
ex_cow.dot 274B
e22g.dot 273B
e22f.dot 271B
e22e.dot 264B
ex_norec_nat_a.dot 255B
e22j.dot 254B
e22d.dot 247B
b2.dot 235B
e27b.dot 232B
p13.dot 232B
b4ok.dot 227B
c1ok.dot 223B
c1b.dot 221B
b3.dot 217B
b3ok.dot 214B
c1a.dot 213B
b4a.dot 208B
p12c.dot 208B
e17.dot 198B
b4.dot 195B
p9.dot 195B
c1.dot 194B
e16o.dot 187B
p14.dot 187B
p8.dot 183B
e28.dot 181B
e25.dot 177B
p7.dot 176B
e16n.dot 162B
c1d.dot 162B
e20.dot 162B
e22c.dot 152B
e26.dot 150B
e16.dot 148B
e27g.dot 147B
e27n.dot 144B
e15.dot 142B
e27m.dot 139B
e27l.dot 137B
b1.dot 137B
b1ok.dot 137B
c1c.dot 133B
e27j.dot 132B
e27k.dot 132B
e19.dot 127B
c1aa.dot 123B
e27h.dot 119B
e28a.dot 115B
p1.dot 110B
e11ok.dot 108B
p11.dot 106B
e21c.dot 105B
t4.dot 95B
t6.dot 95B
p2c.dot 94B
e27f.dot 93B
p4.dot 85B
p3.dot 85B
p6a.dot 85B
p10.dot 83B
e10.dot 81B
e11c.dot 77B
e22b.dot 72B
e18.dot 72B
p1i.dot 72B
e27i.dot 70B
e7.dot 69B
e24.dot 69B
e5.dot 68B
e9.dot 64B
e22.dot 63B
e12.dot 63B
p6.dot 63B
共 629 条
- 1
- 2
- 3
- 4
- 5
- 6
- 7
cocoaitea
- 粉丝: 20
- 资源: 4566
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0