首页> 外文OA文献 >A Type-directed, On-line, Partial Evaluator for a Polymorphic Language

【2h】

A Type-directed, On-line, Partial Evaluator for a Polymorphic Language

机译：多态语言的类型导向的在线局部评估器

页面导航

著录项
相似文献
相关主题

著录项

作者
Tim Sheard;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类
入库时间 2022-08-20 20:57:16

相似文献

外文文献
中文文献
专利

1. A type-directed, on-line, partial evaluator for a polymorphic language [J] . Tim Sheard ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1997,第12期

机译：多态语言的类型导向的在线局部评估器
2. Type-directed weaving of aspects for polymorphically typed functional languages [J] . Kung Chen, Shu-Chun Weng, Meng Wang, Science of Computer Programming . 2010,第11期

机译：多态类型功能语言的方面的类型定向编织
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 type-directed, on-line, partial evaluator for a polymorphic language [C] . Tim Sheard ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation . 1997

机译：多态语言的类型导向的在线局部评估器
5. Partial evaluation for code generation from domain-specific languages. [D] . Zeng, Jia. 2008

机译：从特定领域的语言生成代码的部分评估。
6. Comparing Four Question Formats in Five Languages for On-Line Consumer Surveys [O] . Denis Richard Seninde, Edgar Chambers IV 2020

机译：比较五种语言的四种问题格式用于在线消费者调查
7. Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages [O] . Kung Chen A, Shu-chun Weng B, Meng Wang C, 2013

机译：多态类型功能语言的方面的类型定向编织
8. Partial Evaluation as a Means of Language Extensibility. [R] . Schooler, R. 1984

机译：部分评价作为语言可扩展性的一种手段。

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号