| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 正向或逆向自动微分：有何区别？ | Birthe van den Berg and Tom Schrijvers and James McKinna and Alexander Vandenbroucke | 2212.11088 | cs.PL | 2023-08-10 |
| 一种面向类型的、字典传递的方法重载和结构子类型化在轻量级通用Go语言中的翻译 | Martin Sulzmann and Stefan Wehr | 2209.08511 | cs.PL | 2023-08-08 |
| 使用前缀转换器监控超属性 | Marek Chalupa and Thomas A. Henzinger | 2308.03626 | cs.PL | 2023-08-08 |
| 逐渐敏感性类型化 | Damian Arquez, Mat''ias Toro, ''Eric Tanter | 2308.02018 | cs.PL | 2023-08-07 |
| 基于密度的反应性概率编程语义 | Guillaume Baudart, Louis Mandel, Christine Tasson | 2308.01676 | cs.PL | 2023-08-04 |
| FreeCHR：一种用于CHR嵌入的代数框架 | Sascha Rechenberger and Thom Fr"uhwirth | 2306.00642 | cs.PL | 2023-08-03 |
| 自动验证高阶命令式程序的分阶段规范 | Darius Foo, Yahui Song, Wei-Ngan Chin | 2308.00988 | cs.PL | 2023-08-03 |
| 顺序效应系统的错误定位（扩展版本） | Colin S. Gordon, Chaewon Yun | 2307.15777 | cs.PL | 2023-08-01 |
| 针对OCaml C Stubs的定向静态分析：清除代码中的灵魂角色 | Edwin T"or"ok | 2307.14909 | cs.PL | 2023-07-31 |
| 答案改进修正：代数效应与处理器的细化类型系统 | Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi | 2307.15463 | cs.PL | 2023-07-31 |
| 上下文感知分离逻辑 | Roland Meyer, Thomas Wies, Sebastian Wolff | 2307.15549 | cs.PL | 2023-07-31 |
| 多态可达性类型：在高阶泛型程序中追踪新鲜度、别名和分离 | Guannan Wei, Oliver Brav{c}evac, Songlin Jia, Yuyan Bao, Tiark Rompf | 2307.13844 | cs.PL | 2023-07-27 |
| 基于模板的贝叶斯概率编程的静态后验推断 | Peixin Wang, Hongfei Fu, Tengshun Yang, Guanyan Li, Luke Ong | 2307.13160 | cs.PL | 2023-07-26 |
| HasTEE：使用Haskell编程可信执行环境 | Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen | 2307.13172 | cs.PL | 2023-07-26 |
| 安全异步时序交互的混合选择 | Jonah Pears and Laura Bocchi and Andy King | 2307.12688 | cs.PL | 2023-07-25 |
| 自动化细化定理：合成高效的动态规划算法 | Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu | 2202.12208 | cs.PL | 2023-07-24 |
| 多方会话协议的黑盒实现监测 | Bas van den Heuvel, Jorge A. P''erez, Rares A. Dobre | 2306.04204 | cs.PL | 2023-07-24 |
| 一个杰出的演员系统（功能珍宝） | Patrick Redmond, Lindsey Kuper | 2307.11194 | cs.PL | 2023-07-24 |
| HasChor：面向所有人的功能性编舞编程（功能珍珠） | Gan Shen, Shun Kashiwa, Lindsey Kuper | 2303.00924 | cs.PL | 2023-07-21 |
| 可扩展数据类型的通用编程；或者，使临时可扩展数据类型不那么临时 | Alex Hubers and J. Garrett Morris | 2307.08759 | cs.PL | 2023-07-21 |
| 归纳图表用于因果推理 | Jonathan Castello, Patrick Redmond, Lindsey Kuper | 2307.10484 | cs.PL | 2023-07-21 |
| 强不变量很难：关于（概率）程序的最强多项式不变量的困难 | Julian M"ullner and Marcel Moosbrugger and Laura Kov''acs | 2307.10902 | cs.PL | 2023-07-21 |
| 可编程推理的效果处理器 | Minh Nguyen, Roly Perera, Meng Wang, Steven Ramsay | 2303.01328 | cs.PL | 2023-07-20 |
| 流类型 | Joseph W. Cutler, Christopher Watson, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, Benjamin C. Pierce | 2307.09553 | cs.PL | 2023-07-20 |
| 跨线程临界区和高效动态竞争预测方法 | Martin Sulzmann and Peter Thiemann | 2307.09855 | cs.PL | 2023-07-20 |