| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 追踪OCaml程序 | Darius Foo and Wei-Ngan Chin | 2304.04937 | cs.PL | 2023-04-12 |
| 分而治之的归纳综合方法用于D&C类算法范式 | Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu | 2202.12193 | cs.PL | 2023-04-11 |
| 使并发功能化 | Glynn Winskel | 2202.13910 | cs.PL | 2023-04-11 |
| 覆盖所有基础：基于类型的测试输入生成器验证 | Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan | 2304.03393 | cs.PL | 2023-04-11 |
| 依赖类型化的R向量、数组和矩阵 | John Wrenn, Anjali Pal, Alexa VanHattum, Shriram Krishnamurthi | 2304.04265 | cs.PL | 2023-04-11 |
| 使用依赖类型进行解函数化 | Yulong Huang, Jeremy Yallop | 2304.04574 | cs.PL | 2023-04-11 |
| 切割蛋糕：公平分配的语言 | Noah Bertram and Alex Levinson and Justin Hsu | 2304.04642 | cs.PL | 2023-04-11 |
| 响应式并行性与同步 | Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar | 2304.03753 | cs.PL | 2023-04-10 |
| 参数化代数协议 | Andreia Mordido and Janek Spaderna and Peter Thiemann and Vasco T. Vasconcelos | 2304.03764 | cs.PL | 2023-04-10 |
| $pi$-演算的最小会话类型（扩展版本） | Alen Arslanagic, Jorge A. P''erez, Anda-Amelia Palamariuc | 2107.10936 | cs.PL | 2023-04-07 |
| 高效准确的自动Python绑定：cppyy与Cling | Baidyanath Kundu (1 and 2), Vassil Vassilev (1 and 2), Wim Lavrijsen (3) ((1) European Council for Nuclear Research, (2) Princeton University (US), (3) LBNL (US)) | 2304.02712 | cs.PL | 2023-04-07 |
| 统一线性性和依赖性分析 | Pritam Choudhury | 2304.03175 | cs.PL | 2023-04-07 |
| 逐步类型化的效果处理器 | Max S. New, Eric Giovannini, Daniel R. Licata | 2304.02145 | cs.PL | 2023-04-06 |
| 表意符号：一种表达和操纵结构化数据的语言 | Stephen Mell, Osbert Bastani, Steve Zdancewic | 2303.15784 | cs.PL | 2023-03-29 |
| 逐渐的张量形状检查 | Momoko Hattori, Naoki Kobayashi, Ryosuke Sato | 2203.08402 | cs.PL | 2023-03-28 |
| 精确递归概率编程 | David Chiang and Colin McDonald and Chung-chieh Shan | 2210.01206 | cs.PL | 2023-03-28 |
| 使用部分求值实现函数表达式的实际编译：在纯函数式Lisp中，函数表达式可高效替代宏 | Nathan Braswell, Sharjeel Khan, Santosh Pande | 2303.12254 | cs.PL | 2023-03-23 |
| JuMP 1.0：一个用于数学优化的建模语言的最新改进 | Miles Lubin, Oscar Dowson, Joaquim Dias Garcia, Joey Huchette, Beno^it Legat, Juan Pablo Vielma | 2206.03866 | cs.PL | 2023-03-21 |
| 验证组合编译的统一语义接口的自底向上方法 | Ling Zhang, Yuting Wang, J''er''emie Koenig, Zhong Shao | 2302.12990 | cs.PL | 2023-03-21 |
| VDM++ 中的国际象棋建模 | Morten Haahr Kristensen, Peter Gorm Larsen | 2303.10381 | cs.PL | 2023-03-21 |
| 逻辑编程中的模块化和独立编译 | Steven Holte and Gopalan Nadathur | 2303.10453 | cs.PL | 2023-03-21 |
| 自由的全抽象 | Marco Paviotti and Nicolas Wu | 2303.09358 | cs.PL | 2023-03-17 |
| 函数式语言中的流畅API（完整版本） | Ori Roth and Yossi Gil | 2211.01473 | cs.PL | 2023-03-13 |
| 艾丽斯还是鲍勃？：舞蹈编排中的进程多态性 | Eva Graversen (1), Andrew K. Hirsch (2) and Fabrizio Montesi (1) ((1) University of Southern Denmark, (2) University at Buffalo) | 2303.04678 | cs.PL | 2023-03-09 |
| 分离的分界控制 | Alexander Vandenbroucke and Tom Schrijvers | 2009.04909 | cs.PL | 2023-03-08 |