跳到主要内容
高级搜索
浏览
关于
登录
注册
高级搜索
期刊销售
杂志
诉讼
书
西格玛
会议
人
更多
搜索ACM数字图书馆
搜索
搜索
高级搜索
附属公司
出版物页面
波普尔
会议
会议集合
波普尔
会议
诉讼
即将举行的活动
作者
附属公司
获奖者
更多
会议
POPL公司
POPL：编程语言原理
在POPL中搜索
搜索
搜索
主页
会议
POPL公司
附属公司
POPL的附属机构
跳过幻灯片
最常见的从属关系
引用最多的关联
去年的热门话题
逻辑和验证
查看研究
去年的热门关键字
Coq公司
查看研究
最常见的作者
应用的筛选器
POPL：编程语言原理
作者
R.哈珀
(23)
本杰明·皮尔斯
(21)
拉尔斯·比克达尔
(16)
斯蒂芬妮·威里奇
(16)
Cédric Fornet公司
(15)
德里克·R·德雷尔
(15)
M Felleisen先生
(15)
大卫·帕特里克·沃克
(14)
彼得·苏厄尔
(14)
西蒙·佩顿·琼斯
(14)
安德鲁·德·戈登
（13）
C.弗拉纳根
（13）
约翰·C·米切尔
（13）
苏米特·古尔瓦尼
（13）
亚历克斯·艾肯
(12)
卡尔·弗雷德里克·克里
(12)
托马斯代表
(12)
维克托·瓦菲亚迪斯
(12)
泽维尔·勒罗伊
(12)
L.卡德利
(11)
按日期筛选
更改此筛选器后，页面将自动刷新
过去5年
过去2年
过去一年
按名称查找：
清除
显示
1 - 20
属于
469附属机构
过滤器
每页：
10
20
50
排序依据：
计数
姓名
姓名
纸张计数
卡内基梅隆大学
116
116纸张计数
微软研究院
102
102纸张计数
宾夕法尼亚大学
71
71纸张计数
剑桥大学
68
68纸张计数
斯坦福大学
60
60篇论文
康奈尔大学
57
57纸张计数
INRIA国家信息与自动化研究所
57
57纸张计数
微软剑桥研究院
57
57纸张计数
沃森研究中心
56
56纸张计数
普林斯顿大学
46
46纸张计数
加州大学伯克利分校
46
46纸张计数
诺基亚贝尔实验室
42
42纸张计数
爱丁堡大学
38
38纸张计数
马克斯·普朗克软件系统研究所
34
34纸张计数
麻省理工学院
34
34纸张计数
耶鲁大学
33
33张纸
伦敦帝国理工学院
33
33张纸
威斯康星大学麦迪逊分校
31
31纸张计数
INRIA Rocquencourt公司
31
31纸张计数
印第安纳大学布卢明顿分校
28
28纸张计数
1
2
三
4
5
6
7
您的搜索结果下载请求
我们正在准备下载您的搜索结果。。。
文件准备好后，我们会在这里通知您。
立即下载！
您的搜索结果下载请求
您的搜索结果引用文件现已准备就绪。
立即下载！
您的搜索结果下载请求
您的搜索导出查询已过期。
请重试。
