科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
R
Richter, David
Technical University of Darmstadt
0
H指数
1
论文数
0
被引数
0
相关解读
订阅
收录论文
1
发表时间
发表时间
IF
被引数
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
DeCo:一种用于增量函数式编程的通用数据类型核心演算
Proceedings of the ACM on Programming Languages-PACMPL
IF
2.8
2026-04-01
0
PRE
AI
Bohler, Timon; Reinhard, Tobias; Richter, David; Mezini, Mira
分享
收藏
研究方向
暂无研究方向
合作学者
合作期刊
R
Reinhard, Tobias
H 指数: 0 · 论文数: 1
B
Bohler, Timon
H 指数: 0 · 论文数: 1
M
Mezini, Mira
H 指数: 0 · 论文数: 7
已加载全部