科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
B
Bruno C. d. S. Oliveira
University of Hong Kong
22
H指数
136
论文数
1.5K
被引数
0
相关解读
订阅
收录论文
3
发表时间
发表时间
IF
被引数
Type-Safe Compilation of Dynamic Inheritance via Merging
通过合并实现的类型安全动态继承编译
ACM Transactions on Programming Languages and Systems
IF
1.6
2025-12-01
0
PRE
AI
Sun, Yaozhu; Huang, Xuejing; Oliveira, Bruno C. D. S.
分享
收藏
Liberating Merges via Apartness and Guarded Subtyping
通过相异性与受保护子类型实现合并的解放
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF
2.8
2025-10-01
0
PRE
AI
Xu, Han; Huang, Xuejing; Oliveira, Bruno C. D. S.
分享
收藏
Flexible and Expressive Typed Path Patterns for GQL
GQL的灵活且具表现力的类型化路径模式
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF
2.8
2025-10-01
0
PRE
AI
Ye, Wenjia; Toro, Matias; Diaz, Tomas; Oliveira, Bruno C. D. S.; Rigger, Manuel; Gutierrez, Claudio; Vrgoc, Domagoj
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
C
Claudio Gutiérrez
H 指数: 41 · 论文数: 269
D
Domagoj Vrgoč
H 指数: 18 · 论文数: 76
M
Manuel Rigger
H 指数: 13 · 论文数: 89
M
Matías Toro
H 指数: 7 · 论文数: 29
H
Han Xu
H 指数: 7 · 论文数: 24
查看更多