| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| Daml：用于安全自动化现实世界多方业务工作流的智能合约语言 | Alexander Bernauer and Sofia Faro and R''emy H"ammerle and Martin Huschenbett and Moritz Kiefer and Andreas Lochbihler and Jussi M"aki and Francesco Mazzoli and Simon Meier and Neil Mitchell and Ratko G. Veprek | 2303.03749 | cs.PL | 2023-03-08 |
| 具有hacc的编译验证舞台设计 | Lu''is Cruz-Filipe, Lovro Lugovi''c, Fabrizio Montesi | 2303.03972 | cs.PL | 2023-03-08 |
| 现实世界中的编舞式程序设计：一份经验报告 | Lovro Lugovi''c, Fabrizio Montesi | 2303.03983 | cs.PL | 2023-03-08 |
| 具有回调的内置类型会话 | Peter Thiemann | 2303.01278 | cs.PL | 2023-03-03 |
| 可逆函数的尾递归转换 | Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen | 2302.10049 | cs.PL | 2023-03-01 |
| Galois联系 call-by-value 和 call-by-name。 | Dylan McDermott, Alan Mycroft | 2202.08246 | cs.PL | 2023-02-28 |
| 高阶概率编程语言的悬挂分析和选择性继续传递风格 | Daniel Lund''en, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman | 2302.13051 | cs.PL | 2023-02-28 |
| DOT的案例：具有模式匹配和GADT风格推理的对象的理论基础 | Aleksander Boruch-Gruszecki, Rados{l}aw Wa''sko, Yichen Xu, Lionel Parreaux | 2209.07427 | cs.PL | 2023-02-24 |
| 函数式编程与流 | John MacCormick | 2302.09403 | cs.PL | 2023-02-21 |
| 编程系统的技术维度 | Joel Jakubovic (University of Kent, UK), Jonathan Edwards (n.n., n.n.), Tomas Petricek (University of Kent, UK / Charles University, Czechia) | 2302.10003 | cs.PL | 2023-02-21 |
| 黑匣子，白噪声：神经函数的相似性检测 | Farima Farmahinifarahani (University of California at Irvine, USA), Cristina V. Lopes (University of California at Irvine, USA) | 2302.10005 | cs.PL | 2023-02-21 |
| 分析和优化Java流 | Eduardo Rosales (USI Lugano, Switzerland), Matteo Basso (USI Lugano, Switzerland), Andrea Ros`a (USI Lugano, Switzerland), Walter Binder (USI Lugano, Switzerland) | 2302.10006 | cs.PL | 2023-02-21 |
| 动态编译器中基于列数组的控制流复制 | Sebastian Kloibhofer (Johannes Kepler University Linz, Austria), Lukas Makor (Johannes Kepler University Linz, Austria), David Leopoldseder (Oracle Labs, Austria), Daniele Bonetta (Oracle Labs, Netherlands), Lukas Stadler (Oracle Labs, Austria), Hanspeter M"ossenb"ock (Johannes Kepler University Linz, Austria) | 2302.10098 | cs.PL | 2023-02-21 |
| 匹配的Triemaps | Simon Peyton Jones and Sebastian Graf | 2302.08775 | cs.PL | 2023-02-20 |
| 多分级轻量级Java | Riccardo Bianchini and Francesco Dagnino and Paola Giannini and Elena Zucca | 2302.07782 | cs.PL | 2023-02-16 |
| COOLIO：课堂面向对象语言的语言支持扩展 | Linhan Li, ThanhVu Nguyen | 2302.04926 | cs.PL | 2023-02-13 |
| 量子计算平台中的漏洞：一项实证研究 | Matteo Paltenghi, Michael Pradel | 2110.14560 | cs.PL | 2023-02-10 |
| 验证并行实现的转换系统规范的正确性 | Frank S. de Boer and Einar Broch Johnsen and Violet Ka I Pun and Silvia Lizeth Tapia Tarifa | 2302.04661 | cs.PL | 2023-02-10 |
| 理解代码风格：高效的基于CNN的编译器优化识别系统 | Shouguo Yang, Zhiqiang Shi, Guodong Zhang, Mingxuan Li, Yuan Ma, Limin Sun | 2302.04666 | cs.PL | 2023-02-10 |
| 效果与改写的婚姻 | Ezra e. k. Cooper | 2302.02462 | cs.PL | 2023-02-07 |
| 并发NetKAT：建模和分析有状态、并发网络 | Jana Wagemaker and Nate Foster and Tobias Kapp''e and Dexter Kozen and Jurriaan Rot and Alexandra Silva | 2201.10485 | cs.PL | 2023-02-03 |
| 成束的模糊度：矢量度量的敏感性 | june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi | 2202.01901 | cs.PL | 2023-02-03 |
| 跳跃式验证：协议解析器的认证等效性 | Ryan Doenges, Tobias Kapp''e, John Sarracino, Nate Foster, Greg Morrisett | 2205.08762 | cs.PL | 2023-02-03 |
| 受Oz启发的Prolog未来的思路 | Peter Van Roy and Seif Haridi | 2302.00558 | cs.PL | 2023-02-02 |
| 将线性代数和张量代码与专用硬件加速器相匹配 | Pablo Antonio Mart''inez and Jackson Woodruff and Jordi Armengol-Estap''e and Gregorio Bernab''e and Jos''e Manuel Garc''ia and Michael F. P. O'Boyle | 2301.11659 | cs.PL | 2023-02-01 |