| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 追踪单子计算与效应表示 | Maciej Pir''og (Department of Computer Science, University of Oxford), Jeremy Gibbons (Department of Computer Science, University of Oxford) | 1202.2922 | cs.PL | 2012-02-15 |
| 无关性、异质平等与按值调用的依赖类型系统 | Vilhelm Sj"oberg (University of Pennsylvania), Chris Casinghino (University of Pennsylvania), Ki Yung Ahn (Portland State University), Nathan Collins (Portland State University), Harley D. Eades III (University of Iowa), Peng Fu (University of Iowa), Garrin Kimmell (University of Iowa), Tim Sheard (Portland State University), Aaron Stump (University of Iowa), Stephanie Weirich (University of Pennsylvania) | 1202.2923 | cs.PL | 2012-02-15 |
| 从数学到抽象机器：一个可执行的Krivine机器的形式推导 | Wouter Swierstra (Radboud University Nijmegen) | 1202.2924 | cs.PL | 2012-02-15 |
| 遍历结构化数据中的编程错误 | Ralf Laemmel, Simon Thompson, and Markus Kaiser | 1201.6057 | cs.PL | 2012-01-31 |
| 关于不诚实系统中合同可实现性的研究 | Massimo Bartoletti and Emilio Tuosto and Roberto Zunino | 1201.6188 | cs.PL | 2012-01-31 |
| 关于金属、切片和符号执行的协同性 | Jiv{r}''i Slab''y, Jan Strejv{c}ek, Marek Trt''ik | 1201.4719 | cs.PL | 2012-01-24 |
| 惰性求值的Lambda演算，再审视 | Stephen Chang and Matthias Felleisen | 1201.3907 | cs.PL | 2012-01-19 |
| 单遍指令序列的表达能力 | J.A. Bergstra, C.A. Middelburg | 0810.1106 | cs.PL | 2012-01-12 |
| 使用图转换的分布式系统中的Actor垃圾回收 | B. Seetha Lakshmi, C. D. Balapriya, R. Soniya | 1201.2312 | cs.PL | 2012-01-12 |
| 普遍量词的扩展 | Sergue"i Lenglet and J. B. Wells | 1201.1101 | cs.PL | 2012-01-06 |
| 应用型双模拟在有界控制操作符中的应用 | Dariusz Biernacki and Serguei Lenglet | 1201.0874 | cs.PL | 2012-01-05 |
| Funargs的效应 | Jeremy G. Siek and Michael M. Vitousek and Jonathan D. Turner | 1201.0023 | cs.PL | 2012-01-04 |
| 良好类型化的岛屿解析速度更快 | Erik Silkensen and Jeremy G. Siek | 1201.0024 | cs.PL | 2012-01-04 |
| C++0x "概念" 努力 | Jeremy G. Siek | 1201.0027 | cs.PL | 2012-01-04 |
| 使用Gecode解决XCSP问题 | Massimo Morara, Jacopo Mauro and Maurizio Gabbrielli | 1112.6096 | cs.PL | 2011-12-30 |
| hProlog中的高级多线程 | Timon Van Overveldt and Bart Demoen | 1112.3786 | cs.PL | 2011-12-26 |
| 第11届约束逻辑编程系统实现国际研讨会（CICLOPS 2011）在线论文集，位于美国肯塔基州列克星敦市，2011年7月10日 | Salvador Abreu and Vitor Santos Costa | 1112.4993 | cs.PL | 2011-12-22 |
| 懒惰指针分析 | Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat | 1112.5000 | cs.PL | 2011-12-22 |
| JavaScript的下推抽象 | David Van Horn and Matthew Might | 1109.4467 | cs.PL | 2011-12-21 |
| 单时间戳试验用于追溯性调用包含 | Flavio Cruz and Ricardo Rocha | 1112.3779 | cs.PL | 2011-12-19 |
| 全局字典树用于子项 | Jo~ao Raimundo and Ricardo Rocha | 1112.3780 | cs.PL | 2011-12-19 |
| 计算具有继承有限序列 | Paul Tarau | 1112.3782 | cs.PL | 2011-12-19 |
| L-FLAT：用于形式语言和自动机理论的Logtalk工具包 | Paulo Moura and Artur Miguel Dias | 1112.3783 | cs.PL | 2011-12-19 |
| 使用约束处理规则为Q功能语言提供静态类型分析 | J''anos Csorba, Zsolt Zombori and P''eter Szeredi | 1112.3784 | cs.PL | 2011-12-19 |
| 概率推断的嵌套 | Theofrastos Mantadelis and Gerda Janssens | 1112.3785 | cs.PL | 2011-12-19 |