| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 适应性编程在Haskell中 | Tim Bauer (Oregon State University), Martin Erwig (Oregon State University), Alan Fern (Oregon State University), Jervis Pinto (Oregon State University) | 1109.0774 | cs.PL | 2011-09-06 |
| 高效准确的图案匹配和静态类型下的笔刷计算 | Dominic Orchard (Computer Laboratory, University of Cambridge), Alan Mycroft (Computer Laboratory, University of Cambridge) | 1109.0777 | cs.PL | 2011-09-06 |
| 面向性能的领域特定语言构建模块 | Tiark Rompf (EPFL), Arvind K. Sujeeth (Stanford University), HyoukJoong Lee (Stanford University), Kevin J. Brown (Stanford University), Hassan Chafi (Stanford University), Martin Odersky (EPFL), Kunle Olukotun (Stanford University) | 1109.0778 | cs.PL | 2011-09-06 |
| 研究和解释因果关系的DSEL | Eric Walkingshaw (Oregon State University), Martin Erwig (Oregon State University) | 1109.0780 | cs.PL | 2011-09-06 |
| 在线部分求值教程 | William R. Cook (University of Texas at Austin), Ralf L"ammel (University of Koblenz-Landau) | 1109.0781 | cs.PL | 2011-09-06 |
| 基于恢复的大步和小步解释器对带有交互式I/O的While循环进行翻译 | Keiko Nakata (Institute of Cybernetics at Tallinn University of Technology) | 1109.0785 | cs.PL | 2011-09-06 |
| 国际电气与电子工程师学会领域特定语言工作会议论文集 | Olivier Danvy, Chung-chieh Shan | 1109.0323 | cs.PL | 2011-09-05 |
| ASPIDE中的单元测试 | Onofrio Febbraro, Nicola Leone, Kristian Reale and Francesco Ricca | 1108.5434 | cs.PL | 2011-08-30 |
| 在函数式语言中实现等式约束 | Bernd Bra{ss}el, Michael Hanus, Bj"orn Peem"oller, Fabian Reck | 1108.5609 | cs.PL | 2011-08-30 |
| 懒惰程序的步进 | Stephen Chang and John Clements and Eli Barzilay and Matthias Felleisen | 1108.4706 | cs.PL | 2011-08-25 |
| 关于软件可塑性与可空和非可空参数声明的一些测量 | William Harrison, Tim Walsh, Paul Biggar | 1108.4816 | cs.PL | 2011-08-25 |
| 声明性未来承诺的语言支持 | William Harrison | 1108.4547 | cs.PL | 2011-08-24 |
| 自适应堆栈机 | Matthew A. Hammer and Georg Neis and Yan Chen and Umut A. Acar | 1108.3265 | cs.PL | 2011-08-17 |
| Babel-17的语法和语义 | Steven Obua | 1012.2294 | cs.PL | 2011-08-16 |
| 关联Reo连接器的形式语义模型：连接器着色与约束自动机 | Sung-Shik T.Q. Jongmans, Farhad Arbab | 1108.0468 | cs.PL | 2011-08-03 |
| 关于拉开标签的正确性 | Sergio Antoy | 1108.0190 | cs.PL | 2011-08-02 |
| 线性逻辑CC语言的观察等价性 | R''emy Haemmerl''e | 1108.0329 | cs.PL | 2011-08-02 |
| 逻辑程序的被包含表格评估的子目标高效实例检索 | Flavio Cruz and Ricardo Rocha | 1107.5556 | cs.PL | 2011-07-29 |
| 具有简单组合语义的结构化Prolog替代方案 | Ant''onio Porto | 1107.5408 | cs.PL | 2011-07-28 |
| 恢复 Java 语言规范的语法关系 | Ralf L"ammel and Vadim Zaytsev | 1008.4188 | cs.PL | 2011-07-20 |
| 抽象机器的系统抽象化 | David Van Horn and Matthew Might | 1107.3539 | cs.PL | 2011-07-19 |
| REC的PDP-8的一个转换编译器 | Harold V. McIntosh | 1107.2437 | cs.PL | 2011-07-15 |
| 针对OpenCL的Fortran中利用数组语法进行加速器编程的转换 | Matthew J. Sottile and Craig E Rasmussen and Wayne N. Weseloh and Robert W. Robey and Daniel Quinlan and Jeffrey Overbey | 1107.2157 | cs.PL | 2011-07-13 |
| 函子对应于镜头，应用对应于双胚: 引入多板 | Russell O'Connor | 1103.2841 | cs.PL | 2011-07-12 |
| 符号执行的高效循环导航 | Jan Obdrzalek and Marek Trtik | 1107.1398 | cs.PL | 2011-07-08 |