| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 指令序列半群的表达能力和扩展性 | Stephan Schroevers | 1003.1572 | cs.PL | 2010-03-09 |
| 多线程多态类型汇编语言中的死锁检测类型推断 | Vasco T. Vasconcelos (University of Lisbon), Francisco Martins (University of Lisbon), Tiago Cogumbreiro (University of Lisbon) | 1002.0942 | cs.PL | 2010-02-05 |
| 按照你的要求，将论文标题翻译为中文： 《通过值传递的函数式语言中扩展递归的编译》 | Tom Hirschowitz (LM-Savoie), Xavier Leroy (INRIA Rocquencourt), J. B. Wells | 0902.1257 | cs.PL | 2010-02-01 |
| 走向一种生成约束求解和基于规则推理的解释性追踪的通用框架 | Pierre Deransart (INRIA Rocquencourt), Rafael Oliveira (CIN) | 1001.2188 | cs.PL | 2010-01-14 |
| 具有动态实例化指令的指令序列 | J. A. Bergstra, C. A. Middelburg | 0711.4217 | cs.PL | 2010-01-12 |
| 基于类型规则的拓扑集合变换 | Julien Cohen (LMI) | 0912.4877 | cs.PL | 2009-12-25 |
| 集合拓扑和转换的严格类型化与灵活类型化 | Julien Cohen (LMI) | 0912.4878 | cs.PL | 2009-12-25 |
| 面向对象编程语言单元测试的元模型 | Martin Levesque | 0912.3583 | cs.PL | 2009-12-21 |
| JSC：一个JavaScript对象系统 | Artur Ventura | 0912.2861 | cs.PL | 2009-12-16 |
| 围绕高阶模式统一的语言Lambda Prolog实现 | Xiaochu Qi | 0911.5203 | cs.PL | 2009-11-30 |
| 从单线程到多线程：一种高效的静态分析算法 | Jean-Loup Carre and Charles Hymans | 0910.5833 | cs.PL | 2009-11-02 |
| 迭代器、递归器和交互网络 | Ian Mackie, Jorge Sousa Pinto and Miguel Vilaca | 0910.3321 | cs.PL | 2009-10-20 |
| 类型安全的可扩展编程 | Wonseok Chae | 0910.2654 | cs.PL | 2009-10-15 |
| 第18届逻辑方法在编程环境中的研讨会（WLPE 2008） | Puri Arenas and Damiano Zanardini | 0903.1598 | cs.PL | 2009-10-02 |
| TSIA：一个数据流模型 | Burkhard D. Steinmacher-Burow | cs/0003010 | cs.PL | 2009-10-02 |
| x86跳转编码的简单线性时间算法 | Neil G. Dickson | 0812.4973 | cs.PL | 2009-09-29 |
| 数据类型转换的框架 | Jan Kort and Ralf Laemmel | cs/0204018 | cs.PL | 2009-09-29 |
| 具有术语重写策略的类型通用遍历 | Ralf Laemmel | cs/0205018 | cs.PL | 2009-09-29 |
| UPLNC编译器：设计与实现 | Evgueniy Vitchev | cs/0402043 | cs.PL | 2009-09-29 |
| 面向COM的模块系统设计 | Riccardo Pucella | cs/0405083 | cs.PL | 2009-09-29 |
| 打字约束逻辑程序 | Francois Fages, Emmanuel Coquery | cs/0405100 | cs.PL | 2009-09-29 |
| 元编程中的权衡 | Todd L. Veldhuizen | cs/0512065 | cs.PL | 2009-09-29 |
| 具有类似C++对象模型的语言中的多方法和分离的静态类型检查 | Emanuele Panizzi, Bernardo Pastorelli | cs/0005033 | cs.PL | 2009-09-25 |
| C语言Cligh子集的机械化语义 | Sandrine Blazy (CEDRIC, INRIA Rocquencourt), Xavier Leroy (INRIA Rocquencourt) | 0901.3619 | cs.PL | 2009-09-18 |
| 指令序列、线程和服务接口的进展环 | Jan A. Bergstra, Alban Ponse | 0909.2839 | cs.PL | 2009-09-16 |