科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
D
Daniel Sainati
University of Pennsylvania
1
H指数
3
论文数
4
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
Typing Strictness
类型严格性
Proceedings of the ACM on Programming Languages-PACMPL
IF
2.8
2026-01-01
0
PRE
AI
Sainati, Daniel; Cutler, Joseph W.; Pierce, Benjamin C.; Weirich, Stephanie
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
S
Stephanie Weirich
H 指数: 33 · 论文数: 184
J
Joseph W. Cutler
H 指数: 4 · 论文数: 10
B
BENJAMIN C. PIERCE
H 指数: 0 · 论文数: 3
已加载全部