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

Yuyan Bao

university system of georgia

7H指数
30论文数
121被引数
收录论文 3
发表时间
logo
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收藏
Complete the Cycle: Reachability Types with Expressive Cyclic References完成循环：具有表现力循环引用的可达性类型
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err1
PREAI
errDeng, Haotian; He, Siyuan; Jia, Songlin; Bao, Yuyan; Rompf, Tiark
err分享
err收藏
Challenges and support needs in psychological and physical health among pilots: a qualitative study
errFRONTIERS IN PUBLIC HEALTH
IF3.4
err2024-04-16
err0
errOAAI
errXu, Wen; Bao, Yuyan; Zhang, Lin; Li, Yunfei; Zhang, Erliang; Li, Huilun; Jin, Qingqing; Chen, Yan; Duan, Qingqing; Shi, Feng; Wang, Linlin; Lu, Ziyang; Chen, Xuhua; Gao, Qijing; Han, Hangyu; Ren, Bin; Su, Ya; Xiang, Mi
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
L
Lin Zhang
H 指数: 36 · 论文数: 371
T
Tiark Rompf
H 指数: 32 · 论文数: 146
M
Mi Xiang
H 指数: 25 · 论文数: 93
S
Siyuan He
H 指数: 22 · 论文数: 176
G
Guannan Wei
H 指数: 22 · 论文数: 58
查看更多