| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 通过精心选择的方式论物体的起源 | Yegor Bugayenko | 2206.02585 | cs.PL | 2022-07-08 |
| 面向对象的编舞式编程 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti | 2005.09520 | cs.PL | 2022-07-05 |
| GNOLL：用于现实世界骰子表示法及扩展的高效软件 | Ian Frederick Vigogne Goodbody Hunter | 2205.13430 | cs.PL | 2022-07-05 |
| 关于使用幺半范函对功能程序进行结构化 | Alexandre Garcia de Oliveira (Universidade de S~ao Paulo), Mauro Jaskelioff (CIFASIS-CONICET), Ana Cristina Vieira de Melo (Universidade de S~ao Paulo) | 2207.00852 | cs.PL | 2022-07-05 |
| 编程语言与法律：研究议程 | James Grimmelmann | 2206.14879 | cs.PL | 2022-07-01 |
| 逐渐稳健性：来自静态Python的经验教训 | Kuang-Chen Lu (Brown University, USA), Ben Greenman (Brown University, USA), Carl Meyer (Meta, USA), Dino Viehland (Meta, USA), Aniket Panse (Meta, USA), Shriram Krishnamurthi (Brown University, USA) | 2206.13831 | cs.PL | 2022-06-29 |
| 编译分叉：一种快速灵活的生成用于编译器内部机器学习任务的数据的方法 | Raphael Mosaner (JKU Linz, Austria), David Leopoldseder (Oracle Labs Vienna, Austria), Wolfgang Kisling (JKU Linz, Austria), Lukas Stadler (Oracle Labs Linz, Austria), Hanspeter M"ossenb"ock (JKU Linz, Austria) | 2206.14091 | cs.PL | 2022-06-29 |
| 奇妙的映射及其发现之处：递归方案指南 | Zhixuan Yang, Nicolas Wu | 2202.13633 | cs.PL | 2022-06-28 |
| 程序验证中IEEE 754浮点算术的正确近似 | Roberto Bagnara, Abramo Bagnara, Fabio Biselli, Michele Chiari, Roberta Gori | 1903.06119 | cs.PL | 2022-06-23 |
| 抽象解释中的升序和降序阶段解耦 | Vincenzo Arceri and Isabella Mastroeni and Enea Zaffanella | 2206.10893 | cs.PL | 2022-06-23 |
| 功能还是命令式？关于可微编程语言中愉悦语义的讨论 | Michael Innes | 2206.11192 | cs.PL | 2022-06-23 |
| 第九届数学结构化函数式编程研讨会议录 | Jeremy Gibbons (University of Oxford), Max S. New (University of Michigan) | 2206.09534 | cs.PL | 2022-06-22 |
| 轻量级Go语言的类型导向翻译方案中的语义保留 | Martin Sulzmann and Stefan Wehr | 2206.09980 | cs.PL | 2022-06-22 |
| 解决无法求解循环的不变量生成 | Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kov''acs, Marcel Moosbrugger, Miroslav Stankoviv{c} | 2206.06943 | cs.PL | 2022-06-15 |
| 基于数据驱动的概率编程不变学习 | Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy | 2106.05421 | cs.PL | 2022-06-14 |
| $aleph$-演算：可逆编程的声明性模型 | Hannah Earley | 2206.05957 | cs.PL | 2022-06-14 |
| 依赖类型的数据平面编程 | Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini | 2206.03457 | cs.PL | 2022-06-08 |
| 一个约束和面向对象的第五代编程语言及其编译器和运行时系统 | Han Jipeng, Lichen Zhihang | 2206.01024 | cs.PL | 2022-06-03 |
| 铁氧体：Rust中的会话类型的判断嵌入 | Ruofei Chen, Stephanie Balzer, Bernardo Toninho | 2009.13619 | cs.PL | 2022-06-01 |
| 铁氧体：Rust中的会话类型的判断性嵌入 | Ruo Fei Chen, Stephanie Balzer, and Bernardo Toninho | 2205.06921 | cs.PL | 2022-06-01 |
| TinyIREE：从编译到部署的嵌入式系统机器学习执行环境 | Hsin-I Cindy Liu, Marius Brehler, Mahesh Ravishankar, Nicolas Vasilache, Ben Vanik, Stella Laurenzo | 2205.14479 | cs.PL | 2022-05-31 |
| 无缝编程：规则与其他一切 | Yanhong A. Liu, Scott D. Stoller, Yi Tong, Bo Lin, K. Tuncay Tekle | 2205.15204 | cs.PL | 2022-05-31 |
| 双数反向自动微分，高效实现 | Tom Smeding, Matthijs V''ak''ar | 2205.11368 | cs.PL | 2022-05-24 |
| 轻量级泛型Java的全局类型推断 | Andreas Stadelmeier and Martin Pl"umicke and Peter Thiemann | 2205.08768 | cs.PL | 2022-05-20 |
| 将程序转化为对象 | Yegor Bugayenko | 2112.11988 | cs.PL | 2022-05-18 |