停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

高阶和符号计算，第24卷

>主页 >期刊销售 >高阶和符号计算

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第24卷，编号1-2，2011年6月

部分求值和程序操作

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/LawallPV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/LawallPV11
朱莉娅·劳尔,杰曼·普埃布拉,格尔曼·维达尔:
编辑。 1-2
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/BoustaniH11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/BustaniH11（网址：https://dblp.org/rec/journals/lisp/BustaniH11）
纳比尔·埃尔·布斯坦尼,侏罗纪黑格:
改进通用Java的类型错误消息。 3-39
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/SimmonsP11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/SimmonsP11
罗伯特·西蒙斯,弗兰克·普芬宁:
程序分析的逻辑近似。 41-80
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/SalamaMTGO11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/SalamaMTGO11
谢里夫·萨拉马,格雷戈里·马莱查,瓦利德·塔哈,吉姆·格兰迪,约翰·奥利里:
Verilog有线互连的静态一致性检查-使用依赖类型检查Verilogs描述的完整性。 81-114
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/PardoFS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/PardoFS11
阿尔贝托·帕尔多,圣保罗·费尔南德斯,若昂·萨拉瓦:
循环程序和高阶程序推导的快捷融合规则。 115-149
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/ChenWLWK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/ChenWLWK11
陈恭,Shu-Chun翁,林嘉茵,孟旺（Meng Wang）,Siau-Cheng Khoo公司:
通过方面对懒惰的纯函数式语言进行副作用本地化。 151-189

第24卷第3期，2011年9月

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/NiquiR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/NiqiR11
米拉德·尼基,Jan J.M.M.Rutten先生:
通过归纳法证明Moessner定理。 191-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/Garrigue11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/GarrigueN11
雅克·加里格,中田惠子:
嵌套递归模块的路径解析。 207-237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/lisp/KernisC11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/内核C11
加布里埃尔·肯尼斯,朱利叶斯·克洛博切克:
Continuation—传递C，通过Continuation将线程编译为事件。 239-279

第24卷第4期，2011年11月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/IwasakiMT11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/IwasakiMT11
岩崎秀也,森本武史,高野雅雄:
在惰性函数程序中使用改进序列进行修剪。 281-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/AsaiKS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/AsaiKS11
浅井贤一,奥列格·基塞利约夫,钟介山:
函数un|unparsing。 311-340
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lisp/LiuSS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/LiuSS11
刘大伟（Yu David Liu）,克里斯蒂安·斯卡尔卡,斯科特·史密斯:
具有进程分离的类型专用分阶段编程。 341-385
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/lisp/KernisC11a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lisp/KernisC11a
加布里埃尔·肯尼斯,朱利叶斯·克洛博切克:
勘误表：Continuation-Passing C，通过Continuation将线程编译为事件。 387

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。