跳到主要内容
高级搜索
浏览
关于
登录
注册
高级搜索
期刊销售
杂志
诉讼
书
信号发生器
会议
人
更多
搜索ACM数字图书馆
搜索
搜索
高级搜索
美国计算机学会程序设计语言会议录
日记本主页
刚刚接受
最新版本
档案文件
作者
作者指南
文件征集
PACMPL策略
ACM作者策略
作者列表
编辑
编辑委员会
副编辑欢迎视频
审阅者
开放式访问
PACMPL开放访问
ACM开放访问
获奖者
关于
关于PACMPL
公告
摘要/索引
PACMPL附属公司
联系我们
更多
美国计算机学会程序设计语言会议录
在PACMPL中搜索
搜索
搜索
主页
ACM日志
美国计算机学会程序设计语言会议录
档案文件
第4卷,编号POPL
第4卷
,发布POPL
2020年1月
第4卷,第POPL期
2020年1月
阅读更多信息
出版商:
计算机协会
纽约
纽约州
美国
EISSN公司:
2475-1421
标签:
程序验证
类型理论
函数式语言
指称语义学
软件验证
鸢尾花
类型系统
摘要解释
并发
并发
获取此日志的警报
警报
保存到活页夹
粘合剂
出口引文
引用
在上共享
反映截至2024年9月22日的下载量
文献计量学
引用次数
1,037
下载次数(6周)
2,060
下载次数(12个月)
16,248
下载次数(累计)
91,994
小节
第4卷
,发布POPL
2020年1月
上一个
问题
下一步
问题
发行下载
PDF格式
头条(标题、版权、编辑、目录)
PDF格式
背景(作者索引)
全选
引文输出
保存到活页夹
章节:论文
保存到活页夹
创建新活页夹
姓名
取消
创建
学科
评论
Please enable JavaScript to view the
comments powered by Disqus.
引文输出
选择引文格式
BibTeX公司
尾注
ACM参考
在开始新的批量导出之前,请先下载或关闭以前的搜索结果导出。
预览不可用。
单击下载,
状态对话框
将打开以启动导出过程。
该过程可能需要
几分钟后
但一旦完成,一个文件将可以从您的浏览器下载。
您可以在导出过程中继续浏览DL。
下载
下载引文
复制引文
您的搜索结果下载请求
我们正在准备下载您的搜索结果。。。
文件准备好后,我们会在这里通知您。
立即下载!
您的搜索结果下载请求
您的搜索结果引用文件现已准备就绪。
立即下载!
您的搜索结果下载请求
您的搜索导出查询已过期。
请再试一次。