科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
M
Matthias Felleisen
Northeastern University
60
H指数
320
论文数
1.3W
被引数
0
相关解读
订阅
收录论文
3
发表时间
发表时间
IF
被引数
A programmable programming-language
COMMUNICATIONS OF THE ACM
IF
12.2
2018-02-21
52
PRE
AI
Felleisen, Matthias; Findler, Robert Bruce; Flatt, Matthew; Krishnamurthi, Shriram; Barzilay, Eli; Mccarthy, Jay; Tobin-Hochstadt, Sam
分享
收藏
Why Computer Science Doesn't Matter
COMMUNICATIONS OF THE ACM
IF
12.2
2009-07-01
26
PRE
AI
Felleisen, Matthias; Krishnamurthi, Shriram
分享
收藏
Program verification through soft typing
ACM COMPUTING SURVEYS
IF
28
1996-06-01
3
OA
AI
Cartwright, R; Felleisen, M
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
S
Shriram Krishnamurthi
H 指数: 51 · 论文数: 340
R
Robert Bruce Findler
H 指数: 40 · 论文数: 179
M
Matthew Flatt
H 指数: 39 · 论文数: 189
R
Robert Cartwright
H 指数: 25 · 论文数: 108
S
Sam Tobin-Hochstadt
H 指数: 23 · 论文数: 88
查看更多