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