查询的关键字搜索结果——与关键字搜索查询匹配的新结果（每天更新）。 https://dl.acm.org/action/doSearch？type=advanced&af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevance 计算机协会：查询关键字搜索 计算机协会 英语-美国 http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站 https://dl.acm.org/doi/abs/10.1145/3649859？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/024/8/OOPSLA1“>第8卷，第OOPSLA1期，第1351-1379页，2024年4月<br/> 《美国计算机学会程序设计语言会议录》，第8卷，第OOPSLA1期，第1351-1379页，2024年4月<br/> 消息-观察会话 数字对象标识代码：10.1145/3649859 2024-04-29T05:53:18Z年 瑞安·卡瓦纳格·布里吉特·皮恩特卡 美国计算机学会程序设计语言会议录 8 OOPSLA1型 1351 1379 2024-04-29T07:00:00Z 2024-04-29T07:00:00Z 10.1145/3649859 https://dl.acm.org/doi/abs/10.1145/3649859？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=相关性 https://dl.acm.org/doi/abs/10.1145/3649853？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/OOPSLA1“>第8卷，第OOPSLA1期，第1181-1207页，2024年4月<br/> 《美国计算机学会程序设计语言会议录》，第8卷，第OOPSLA1期，第1181-1207页，2024年4月<br/> 分离度：一种用于安全并发的灵活类型系统 数字对象标识代码：10.1145/3649853 2024-04-29T05:53:18Z年 宜城许亚历克桑德·博鲁赫·格鲁舍基·马丁·奥德斯基（Yichen XuAleksander Boruch-Gruszecki Martin Odersky） 美国计算机学会程序设计语言会议录 8 OOPSLA1公司 1181 1207 2024-04-29T07:00:00Z 2024-04-29T07:00:00Z 10.1145/3649853 https://dl.acm.org/doi/abs/10.1145/3649853？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3649818？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/OOPSLA1“>第8卷，第OOPSLA1期，第194-222页，2024年4月<br/> 《美国计算机学会程序设计语言会议录》，第8卷，第OOPSLA1期，第194-222页，2024年4月<br/> 透明实现OCaml模块 数字对象标识代码：10.1145/3649818 2024-04-29T05:53:18Z年 布拉代奥·克莱门特·迪迪埃·雷米加布里埃尔·拉丹（Blaudeau ClementDidier Rémy Gabriel Radanne） 美国计算机学会程序设计语言会议录 8 OOPSLA1公司 194 222 2024-04-29T07:00:00Z 2024-04-29T07:00:00时 10.1145/3649818 https://dl.acm.org/doi/abs/10.1145/3649818？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3636501.3636951？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第230-245页<br/> CPP 2024：第13届ACM SIGPLAN认证程序和证明国际会议记录，第230-245页<br/> doi:10.1145/3636501.3636951 2024年01月09日07时39分12秒 马丁·洛菲拉·考克 230 245 2024-01-09T07:39:12Z 10.1145/3636501.3636951 https://dl.acm.org/doi/abs/10.1145/3636501.3636951？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3632932？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=相关性 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/POPL网站“>第8卷，第POPL期，第2700-2730页，2024年1月<br/> 《美国计算机学会程序设计语言会议录》，第8卷，POPL期，第2700-2730页，2024年1月<br/> 结构参数多态的参数分型 数字对象标识代码：10.1145/3632932 2024-01-05T08:47:51Z 亨利·德扬安德烈亚·莫迪多·弗兰克·普芬宁安库什·达斯 美国计算机学会程序设计语言会议录 8 POPL公司 2700 2730 2024-01-05T08:00:00Z 2024-01-05T08:00:00Z 10.1145/3632932 https://dl.acm.org/doi/abs/10.1145/3632932？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3632931？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/POPL网站“>第8卷，第POPL期，第2667-2699页，2024年1月<br/> 《美国计算机学会程序设计语言会议录》，第8卷，POPL期，第2667-2699页，2024年1月<br/> 基于类型的渐进式打字性能优化 数字对象标识代码：10.1145/3632931 2024-01-05T08:47:51Z 约翰·彼得·坎波拉·穆罕默德·瓦希杜扎曼·坎申陈 美国计算机学会程序设计语言会议录 8 POPL公司 2667 2699 2024-01-05T08:00:00Z 2024-01-05T08:00:00Z 10.1145/3632931 https://dl.acm.org/doi/abs/10.1145/3632931？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3632922？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会程序设计语言论文集，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/POPL网站“>第8卷，第POPL期，第2395-2424页，2024年1月<br/> 《美国计算机学会程序设计语言会议录》，第8卷，POPL期，第2395-2424页，2024年1月<br/> 静态安全Web程序集的索引类型 数字对象标识代码：10.1145/3632922 2024-01-05T08:47:51Z 亚当·T·盖勒贾斯汀·弗兰克威廉·J·鲍曼 美国计算机学会程序设计语言会议录 8 POPL公司 2395 2424 2024-01-05T08:00:00Z 2024年01月05日08时00分 10.1145/3632922 https://dl.acm.org/doi/abs/10.1145/3632922？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3632896？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/POPL网站“>第8卷，第POPL期，第1600-1628页，2024年1月<br/> 《美国计算机学会程序设计语言会议录》，第8卷，第POPL期，第1600-1628页，2024年1月<br/> 良好的线性处理 数字对象标识代码：10.1145/3632896 2024-01-05T08:47:51Z 唐文浩（Wenhao TangDaniel HillerströmSam LindleyJ）。加勒特·摩里斯 美国计算机学会程序设计语言会议录 8 POPL公司 1600 1628 2024-01-05T08:00:00Z 2024-01-05T08:00:00Z 10.1145/3632896 https://dl.acm.org/doi/abs/10.1145/3632896？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3632893？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/POPL网站“>第8卷，第POPL期，第1509-1539页，2024年1月<br/> 《美国计算机学会程序设计语言会议录》，第8卷，第POPL期，第1509-1539页，2024年1月<br/> 未装箱数据构造函数：或者，cpp如何决定暂停问题 数字对象标识代码：10.1145/3632893 2024-01-05T08:47:51Z 尼古拉斯·查泰恩·斯蒂芬·多兰·加布里埃尔·谢雷尔·杰里米·亚洛普 美国计算机学会程序设计语言会议录 8 POPL公司 1509 1539 2024-01-05T08:00:00Z 2024年01月05日08时00分 10.1145/3632893 https://dl.acm.org/doi/abs/10.1145/3632893？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3632882？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2024/8/POPL网站“>第8卷，第POPL期，第1179-1210页，2024年1月<br/> 《美国计算机学会程序设计语言会议录》，第8卷，POPL期，第1179-1210页，2024年1月<br/＞ 动态语言的多态类型推理 数字对象标识代码：10.1145/3632882 2024-01-05T08:47:51Z Giuseppe CastagnaMickaël LaurentKim Nguyễn个 美国计算机学会程序设计语言会议录 8 POPL公司 1179 1210 2024-01-05T08:00:00Z 2024-01-05T08:00:00Z 10.1145/3632882 https://dl.acm.org/doi/abs/10.1145/3632882？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3610408？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言与系统汇刊，<a href=“https://dl.acm.org/toc/toplas/2023/45/4“>第45卷，第4期，第1-62页，2023年12月<br/> 《美国计算机学会编程语言与系统汇刊》，第45卷，第4期，第1-62页，2023年12月<br/> 专注于精炼类型 doi:10.1145/3610408 2023-12-20 T11:33:31Z Dimitrios J.EconomouNeel KrishnaswamiJana Dunfield公司 程序设计语言与系统学报 45 4 1 62 2023-12-31T08:00:00Z 2023-12-31T08:00:00Z 10.1145/3610408 https://dl.acm.org/doi/abs/10.1145/3610408？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1007/978-981-99-8311-7_3？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 编程语言与系统：第21届亚洲研讨会，APLAS 2023，台湾台北，2023年11月26-29日，会议记录，第46-66页<br/> 编程语言与系统：第21届亚洲研讨会，APLAS 2023，台湾台北，2023年11月26-29日，会议记录，第46-66页<br/> doi:10.1007/978-981-99-8311-73 2023-11-26T08:00:00Z 可扩展数据类型的类型和语义 46 66 2023-11-26T08:00:00Z 1997年10月10日/978-981-99-8311-73 https://dl.acm.org/doi/abs/10.1007/978-981-99-8311-7_3？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3618003？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言与系统汇刊，<a href=“https://dl.acm.org/toc/toplas/2023/45/4“>第45卷，第4期，第1-52页，2023年12月<br/> 《美国计算机学会编程语言与系统汇刊》，第45卷，第4期，第1-52页，2023年12月<br/＞ 捕获类型 数字对象标识代码：10.1145/3618003 2023-11-20T11:46:38Z Aleksander Boruch GruszeckiMartin Odersky Edward LeeOndřej LhotákJonathan Brachthäuser 程序设计语言与系统学报 45 4 1 52 2023-12-31T08:00:00Z 2023-12-31T08:00:00Z 10.1145/3618003 https://dl.acm.org/doi/abs/10.1145/3618003？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3568422？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey ACM计算逻辑事务，<a href=“https://dl.acm.org/toc/tocl/2023/24/2“>第24卷第2期，第1-73页，2023年4月<br/> ACM计算逻辑汇刊，第24卷，第2期，第1-73页，2023年4月<br/> 异步多方会话的精确子类型 doi:10.1145/3568422 2023-11-07T05:54:32Z Silvia GhilezanJovanka PantovićIvan ProkićAlceste ScalasNobuko Yoshida（西尔维娅·吉勒赞·约万卡·潘托维奇） ACM计算逻辑事务 24 2 1 73 2023-04-30T07:00:00Z 2023-04-30T07:00:00Z 10.1145/3568422 https://dl.acm.org/doi/abs/10.1145/3568422？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3624007.3624051？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey GPCE 2023：第22届ACM SIGPLAN生成性编程国际会议记录：概念和经验，第14-28页<br/> GPCE 2023：第22届ACM SIGPLAN生成性编程国际会议记录：概念和经验，第14-28页<br/> 数字对象标识代码：10.1145/3624007.3624051 2023-10-22T07:00:00Z 多阶段类型检查器中名称解析的一元框架 14 28 2023-10-22T07:00:00Z 10.1145/3624007.3624051 https://dl.acm.org/doi/abs/10.1145/3624007.3624051？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3610612.3618？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey PPDP’23：第25届声明式编程原理与实践国际研讨会论文集，第1-13页<br/> PPDP’23：第25届声明性编程原则与实践国际研讨会论文集，第1-13页<br/> doi:10.1145/3610612.3610618 2023-10-22T07:00:00Z 用于常量时间强制的类型定向程序转换 1 13 2023-10-22T07:00:00Z 10.1145/3610612.3610618 https://dl.acm.org/doi/abs/10.1145/3610612.3618？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3610612.3610615？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=相关性 PPDP’23：第25届声明性编程原则与实践国际研讨会论文集，第1-14页<br/> PPDP’23：第25届声明式编程原理与实践国际研讨会论文集，第1-14页<br/> doi:10.1145/3610612.3610615 2023-10-22T07:00:00Z 同时终止，重新审查 1 14 2023-10-22T07:00:00Z 10.1145/3610612.3610615 https://dl.acm.org/doi/abs/10.1145/3610612.610615？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3622860？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2023/7/OOPSLA2“>第7卷，第OOPSLA2期，第1758-1786页，2023年10月<br/> 《美国计算机学会程序设计语言会议录》，第7卷，第OOPSLA2期，第1758-1786页，2023年10月<br/> 效果处理程序的渐进式键入 doi:10.1145/3622860 2023-10-16T03:36:58Z Max S.NewEric GiovanniniDaniel R.Licata公司 美国计算机学会程序设计语言会议录 7 OOPSLA2公司 1758 1786 2023-10-16T07:00:00Z 2023-10-16T07:00:00Z 10.1145/3622860 https://dl.acm.org/doi/abs/10.1145/3622860？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3622854？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会编程语言会议录，<a href=“https://dl.acm.org/toc/pacmpl/2023/7/OOPSLA2“>第7卷，第OOPSLA2期，第1589-1617页，2023年10月<br/> 《美国计算机学会程序设计语言会议录》，第7卷，第OOPSLA2期，第1589-1617页，2023年10月<br/> 使用基于速率的会话类型验证物联网设备 电话：10.1145/3622854 2023-10-16T03:36:58Z Grant IraciCheng-En ChuangRaymond HuLukasz Ziarek公司 美国计算机学会程序设计语言会议录 7 OOPSLA2公司 1589 1617 2023-10-16T07:00:00Z 2023-10-16T07:00:00Z 2014年10月14日/3622854 https://dl.acm.org/doi/abs/10.1145/3622854？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey https://dl.acm.org/doi/abs/10.1145/3622843？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey 美国计算机学会程序设计语言论文集，<a href=“https://dl.acm.org/toc/pacmpl/2023/7/OOPSLA2“>第7卷，第OOPSLA2期，第1281-1309页，2023年10月<br/＞ 《美国计算机学会程序设计语言会议录》，第7卷，第OOPSLA2期，第1281-1309页，2023年10月<br/> 大步语义的资源软件可靠性 数字对象标识代码：10.1145/3622843 2023-10-16T03:36:58Z 里卡多·比安奇尼·弗朗西斯科·达尼诺·保拉·贾尼尼埃琳娜·祖卡 美国计算机学会程序设计语言会议录 7 OOPSLA2公司 1281 1309 2023-10-16T07:00:00Z 2023-10-16T07:00:00Z 2014年10月14日/3622843 https://dl.acm.org/doi/abs/10.1145/3622843？af=R&ConceptID=1295&content=standard&expand=all&target=topic&sortBy=relevancey