首页> 外文会议>ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation >Self-applicable online partial evaluation of the pure lambda calculus

【24h】

Self-applicable online partial evaluation of the pure lambda calculus

机译：纯lambda演算的自适用在线局部评估

获取原文

页面导航

著录项
相似文献
相关主题

著录项

来源
《ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation》|1995年|P.39-44|共6页
会议地点
作者
Torben AE. Mogensen;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类计算技术、计算机技术;
关键词
入库时间 2022-08-26 14:45:27

相似文献

外文文献
中文文献
专利

1. Self-applicable partial evaluation for the pi-calculus [J] . Marc Gengler, Matthieu Martel ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1997,第12期

机译：pi演算的自适用部分评估
2. A self-applicable online partial evaluator for recursive flowchart languages [J] . Robert Gluck Software . 2012,第6期

机译：一种适用于递归流程图语言的在线局部评估器
3. Extensional Normalisation and Type-Directed Partial Evaluation for Typed Lambda Calculus with Sums [J] . Vincent Balat, Roberto Di Cosmo, Marcelo Fiore ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2004,第1期

机译：带求和的Lambda型演算的扩展归一化和类型定向局部估计
4. A self-applicable partial evaluator for the lambda calculus [C] . Jones, N.D., Gomard, . 1990

机译：λ演算的自适用局部评估器
5. A lambda calculus for monotonicity reasoning. [D] . Tune, William Lee. 2016

机译：单调推理的λ演算。
6. Theory of Transversal Curves and the Connections Between the Calculus of Variations and the Theory of Partial Differential Equations [O] . M. Herzberger 1938

机译：横向曲线理论以及变分微积分与偏微分方程理论之间的联系
7. Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies [O] . Mattox Beckman, Sam Kamin 2007

机译：使用策略进行可控制的自适用在线部分评估
8. Initiation au Lambda-Calcul (An Initiation into Lambda Calculus). [R] . Huet, G. 1989

机译：启动au Lambda-Calcul（启动为Lambda微积分）。

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号