首页> 外文OA文献 >Type-directed weaving of aspects for polymorphically typed functional languages

【2h】

Type-directed weaving of aspects for polymorphically typed functional languages

机译：多态类型功能语言的方面的类型定向编织

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Chen Kung; Weng Shu-Chun; Wang Meng; Khoo Siau-Cheng; Chen Chung-Hsin;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Type-directed weaving of aspects for polymorphically typed functional languages [J] . Kung Chen, Shu-Chun Weng, Meng Wang, Science of Computer Programming . 2010,第11期

机译：多态类型功能语言的方面的类型定向编织
2. 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期

机译：多态语言的类型导向的在线局部评估器
3. Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform [J] . Rompf T, Maier I, Odersky M ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2009,第9期

机译：通过类型定向的选择性CPS变换实现一流的多态定界连续
4. Type-directed weaving of aspects for higher-order functional languages [C] . Meng Wang, Kung Chen, Siau-Cheng Khoo, ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation . 2006

机译：高阶功能语言的方面的类型定向编织
5. Type inference, type improvement, and type simplification in a language with user-defined polymorphic relational operators. [D] . Nagy, Lajos Pal. 2007

机译：具有用户定义的多态关系运算符的语言中的类型推断，类型改进和类型简化。
6. Expression of Functional D299G.T399I Polymorphic Variant of TLR4 Depends More on Coexpression of MD-2 Than Does Wild-Type TLR4 [O] . Polonca Prohinar, Prasad Rallabhandi, Jerrold P. Weiss, -1

机译：TLR4所依赖的功能D299G.T399I多态性变异的更多关于mD-2确实比野生型TLR4的共表达表达
7. Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages [O] . Kung Chen A, Shu-chun Weng B, Meng Wang C, 2013

机译：多态类型功能语言的方面的类型定向编织

Type-directed weaving of aspects for polymorphically typed functional languages

著录项

引文网络

相似文献

相关主题

期刊订阅