| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 从文档生成多云API绑定 | Micha{l} J. Gajda, Vitor Vitali Barrozzi, and Gabriel Araujo | 2011.03070 | cs.PL | 2023-01-31 |
| 类型论作为语言工作台 | Jan de Muijnck-Hughes, Guillaume Allais, Edwin Brady | 2301.12852 | cs.PL | 2023-01-31 |
| HDPython：一种基于Python的高级面向对象HDL框架 | R. Peschke, K. Nishimura, G. Varner | 2011.02626 | cs.PL | 2023-01-30 |
| MAG$pi$: 失败易发通信的类型 | Matthew Alan Le Brun and Ornela Dardha | 2301.10827 | cs.PL | 2023-01-27 |
| Coq中的尺寸类型是否实用? | Jonathan Chan, Yufeng Li, William J. Bowman | 1912.05601 | cs.PL | 2023-01-26 |
| 将Swift错误处理模型与C++桥接 | Roberto Rosmaninho | 2301.10353 | cs.PL | 2023-01-26 |
| 模态反应堆 | Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Soroush Bateni, Edward A. Lee | 2301.09597 | cs.PL | 2023-01-24 |
| 通过抽象解释的声音符号执行及其在安全性中的应用 | Ignacio Tiraboschi, Tamara Rezk, Xavier Rival | 2301.07783 | cs.PL | 2023-01-20 |
| 事务程序在因果一致性下的最佳无状态模型检查 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe | 2211.09020 | cs.PL | 2023-01-18 |
| 聚类关系线索模块化的本地抽象解释 | Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani | 2301.06439 | cs.PL | 2023-01-18 |
| 会话类型的最小化形式 | Alen Arslanagi''c, Jorge A. P''erez, Dan Frumin | 2301.05301 | cs.PL | 2023-01-16 |
| 推断以太坊字节码中不必要的写入内存访问（扩展版） | Elvira Albert, Jes''us Correas, Pablo Gordillo, Guillermo Rom''an-D''iez and Albert Rubio | 2301.04757 | cs.PL | 2023-01-13 |
| 内置类型视为归纳家族 | Guillaume Allais | 2301.02194 | cs.PL | 2023-01-06 |
| 将通用的单子变换器嵌入到Scala中 | Ruslan Shevchenko | 2209.10941 | cs.PL | 2023-01-03 |
| Matchertext：朝向逐字同文异语嵌入 | Bryan Ford | 2212.14129 | cs.PL | 2023-01-02 |
| 编码准则和不可判定性 | Roberto Bagnara, Abramo Bagnara, Patricia M. Hill | 2212.13933 | cs.PL | 2022-12-29 |
| 优先选择最佳变体 | Wen Kokke and Ornela Dardha | 2103.14466 | cs.PL | 2022-12-26 |
| 高效双数反向自动微分通过众所周知的程序转换 | Tom Smeding, Matthijs V''ak''ar | 2207.03418 | cs.PL | 2022-12-23 |
| 完全图计算模型的时间和空间度量 | Brian Courtehoute (University of York), Detlef Plump (University of York) | 2212.11637 | cs.PL | 2022-12-23 |
| 数组感知匹配：驯服大规模模拟模型的复杂性 | Massimo Fioravanti, Daniele Cattaneo, Federico Terraneo, Silvano Seva, Stefano Cherubin, Giovanni Agosta, Francesco Casella, Alberto Leva | 2212.11135 | cs.PL | 2022-12-22 |
| 这是概率循环的时刻 | Marcel Moosbrugger, Miroslav Stankoviv{c}, Ezio Bartocci, Laura Kov''acs | 2204.07185 | cs.PL | 2022-12-21 |
| PSTMonitor：从概率会话类型中进行监控合成 | Christian Bartolo Burl`o, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto | 2212.07329 | cs.PL | 2022-12-16 |
| 仿射单子与贝叶斯编程的惰性结构 | Swaraj Dash and Younesse Kaddar and Hugo Paquet and Sam Staton | 2212.07250 | cs.PL | 2022-12-15 |
| 程序验证的自动HFL(Z)有效性检查 | Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada | 2203.07601 | cs.PL | 2022-12-12 |
| 咿呀呀：通过E-图和反合一学习更好的抽象 | David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova | 2212.04596 | cs.PL | 2022-12-12 |