| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 申威通用C/C++设计与实现 | Huanqi Cao and Jiajie Chen | 2208.00607 | cs.PL | 2022-08-02 |
| 嵌入式模式匹配 | Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller | 2108.13114 | cs.PL | 2022-08-01 |
| 程序副词与Tl"on嵌入 | Yao Li, Stephanie Weirich | 2207.05227 | cs.PL | 2022-07-28 |
| 半环缩减的正确编译 | Scott Kovach, Fredrik Kjolstad | 2207.13291 | cs.PL | 2022-07-28 |
| 模块化概率模型通过代数效应 | Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu | 2203.04608 | cs.PL | 2022-07-27 |
| 使用codeBoot在线环境教授编程给初学者 | Marc Feeley (Universit''e de Montr''eal), Olivier Melanc{c}on (Universit''e de Montr''eal) | 2207.12702 | cs.PL | 2022-07-27 |
| CoqQ：量子程序的基础验证 | Li Zhou, Gilles Barthe, Pierre-Yves Strub, Junyi Liu, Mingsheng Ying | 2207.11350 | cs.PL | 2022-07-26 |
| 第十届和第十一届国际功能编程教育趋势研讨会论文集 | Peter Achten (Radboud University, Nijmegen, Netherlands), Elena Machkasova (University of Minnesota Morris, USA) | 2207.11600 | cs.PL | 2022-07-26 |
| 进化递归定义及其在动态规划中的应用 | Keehang Kwon | 2207.12137 | cs.PL | 2022-07-26 |
| 从操作语义中自动推导控制流图生成器 | James Koppel, Jackson Kearl, Armando Solar-Lezama | 2010.04918 | cs.PL | 2022-07-25 |
| 线性合格类型：能力和唯一性的通用推断 | Arnaud Spiwack, Csongor Kiss, Jean-Philippe Bernardy, Nicolas Wu, Richard Eisenberg | 2103.06127 | cs.PL | 2022-07-25 |
| 多态效应的作用域能力 | Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Brachth"auser, Ondv{r}ej Lhot''ak | 2207.03402 | cs.PL | 2022-07-25 |
| 具有答案效应修改的时间验证 | Taro Sekiyama and Hiroshi Unno | 2207.10386 | cs.PL | 2022-07-22 |
| FreezeML的基于约束的类型推断 | Frank Emrich and Jan Stolarek and James Cheney and Sam Lindley | 2207.09914 | cs.PL | 2022-07-21 |
| 如何在Liquid Haskell中安全使用Extensionality | Niki Vazou and Michael Greenberg | 2103.02177 | cs.PL | 2022-07-20 |
| 从无穷到编排：无界系统的提取 | Bj{o}rn Angel Kj{ae}r and Lu''is Cruz-Filipe and Fabrizio Montesi | 2207.08884 | cs.PL | 2022-07-20 |
| 一个用于PL/0超集的教学编译器的实现 | Navas-L''opez, Eduardo Adam | 2207.08972 | cs.PL | 2022-07-20 |
| 可扩展的低延迟环境下的类型状态分析 | Alen Arslanagi''c, Pavle Suboti''c, Jorge A. P''erez | 2201.10627 | cs.PL | 2022-07-19 |
| 使用验证重写引擎加速验证编译器的开发 | Jason Gross and Andres Erbsen and Jade Philipoom and Miraya Poddar-Agrawal and Adam Chlipala | 2205.00862 | cs.PL | 2022-07-19 |
| 将虹膜引入验证软件工具链 | William Mansky | 2207.06574 | cs.PL | 2022-07-18 |
| GopCaml：一种用于OCaml的结构化编辑器 | Kiran Gopinathan | 2207.07423 | cs.PL | 2022-07-18 |
| 资源感知编程中的类型系统：机遇与挑战 | Alcides Fonseca and Guilherme Espada | 2205.15211 | cs.PL | 2022-07-14 |
| 非光滑可微编程的分布理论语义 | Pedro H. Azevedo de Amorim and Christopher Lam | 2207.05946 | cs.PL | 2022-07-14 |
| 机械化细化类型（扩展版） | Michael Borkowski, Niki Vazou, Ranjit Jhala | 2207.05617 | cs.PL | 2022-07-13 |
| 复制传播包含常量传播 | Sreekala S. and Vineeth Paleri | 2207.03894 | cs.PL | 2022-07-11 |