| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 名为“Call-by-name Gradual Type Theory”的论文标题的中文翻译是：按名渐进类型理论。 | Max S. New and Daniel R. Licata | 1802.00061 | cs.PL | 2023-06-22 |
| 协变和逆变：对一个旧问题的新视角（面向学习函数式编程者的高级类型系统入门） | Giuseppe Castagna | 1809.01427 | cs.PL | 2023-06-22 |
| 贝叶斯编程的几何形态 | Ugo Dal Lago, Naohiko Hoshino | 1904.07425 | cs.PL | 2023-06-22 |
| 对事务性因果一致性的鲁棒性 | Sidi Mohamed Beillahi, Ahmed Bouajjani, and Constantin Enea | 1906.12095 | cs.PL | 2023-06-22 |
| 异步会话子类型化的有效算法及其实现 | Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro | 1907.00421 | cs.PL | 2023-06-22 |
| 超越符号：定理证明语言的卫生宏展开 | Sebastian Ullrich and Leonardo de Moura | 2001.10490 | cs.PL | 2023-06-22 |
| 关联函数式和命令式会话类型 | Hannes Saffrich and Peter Thiemann | 2010.08261 | cs.PL | 2023-06-22 |
| 高阶关系查询的强正规化 | Wilmer Ricciotti and James Cheney | 2011.13451 | cs.PL | 2023-06-22 |
| 转化-启用的前置条件推断 | Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Sondergaard | 2108.03178 | cs.PL | 2023-06-22 |
| 类型调用上下文的功能抽象 | Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai | 2110.07349 | cs.PL | 2023-06-22 |
| 范畴分级代数理论与效应处理器 | Takahiro Sanada | 2212.07015 | cs.PL | 2023-06-22 |
| 功能机器演算 | Willem Heijltjes | 2212.08177 | cs.PL | 2023-06-22 |
| 按名传递只是带有界限控制的按值传递 | Mateusz Pyzik | 2212.08594 | cs.PL | 2023-06-22 |
| 应对反应式编程中的尴尬小队：演员-反应器模型 | Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster and Wolfgang De Meuter | 2306.12313 | cs.PL | 2023-06-22 |
| 一个与虚拟机无关且向后兼容的保护修饰符：针对动态类型语言 | Iona Thomas (1), Vincent Aranega (1), St''ephane Ducasse (1), Guillermo Polito (1), Pablo Tesone (1) ((1) University of Lille, France / Inria, France / CNRS, France / Centrale Lille, France / CRIStAL, France) | 2306.12410 | cs.PL | 2023-06-22 |
| Coqlex：生成形式验证的词法分析器 | Wendlasida Ouedraogo (1), Gabriel Scherer (2), Lutz Strassburger (2) ((1) Siemens Mobility, France / Inria, France, (2) Inria, France / ''Ecole Polytechnique, France) | 2306.12411 | cs.PL | 2023-06-22 |
| 自动微分在ML语言中的应用：通过逻辑关系确保正确性 | Fernando Lucatelli Nunes and Matthijs V''ak''ar | 2210.07724 | cs.PL | 2023-06-21 |
| 对与错：语言设计中的十个选择 | Bertrand Meyer | 2211.16597 | cs.PL | 2023-06-16 |
| Erlang的集合论类型 | Albert Schimpf, Stefan Wehr, Annette Bieniusa | 2302.12783 | cs.PL | 2023-06-14 |
| Elixir类型系统的设计原则 | Giuseppe Castagna and Guillaume Duboc and Jos''e Valim | 2306.06391 | cs.PL | 2023-06-13 |
| 形式化捕获演算中的盒子推理 | Yichen Xu and Martin Odersky | 2306.06496 | cs.PL | 2023-06-13 |
| 实施德摩根立方类型理论教程 | Tesla Zhang | 2210.08232 | cs.PL | 2023-06-07 |
| （不）可解的环路分析 | Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kov''acs, Marcel Moosbrugger, Miroslav Stankoviv{c} | 2306.01597 | cs.PL | 2023-06-05 |
| 指定和验证持久化库 | L''eo Stefanesco, Azalea Raad, Viktor Vafeiadis | 2306.01614 | cs.PL | 2023-06-05 |
| COFEs的一个不动点定理 | Stephen Dolan | 2306.01662 | cs.PL | 2023-06-05 |