logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
O

Oliver Bračevac

swiss federal institutes of technology domain

8H指数
28论文数
124被引数
收录论文 2
发表时间
logo
What's in the Box盒子里有什么
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errXu, Yichen; Bracevac, Oliver; Pham, Cao Nguyen; Odersky, Martin
err分享
err收藏
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory使用逻辑关系对可达性类型进行建模：语义类型正确性、终止性、效应安全性及等式理论
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err1
PREAI
errBao, Yuyan; Jia, Songlin; Wei, Guannan; Bracevac, Oliver; Rompf, Tiark
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
M
Martin Odersky
H 指数: 46 · 论文数: 206
T
Tiark Rompf
H 指数: 32 · 论文数: 146
G
Guannan Wei
H 指数: 22 · 论文数: 58
Y
Yuyan Bao
H 指数: 7 · 论文数: 30
Y
Yichen Xu
H 指数: 6 · 论文数: 22
查看更多