首页> 外文OA文献 >An Operational Domain-theoretic Treatment of Recursive Types

【2h】

An Operational Domain-theoretic Treatment of Recursive Types

机译：递归类型的运算域理论处理

代理获取

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

页面导航

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

著录项

作者
Ho Weng Kin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An operational domain-theoretic treatment of recursive types [J] . WENG KIN HO Mathematical structures in computer science . 2014,第1期

机译：递归类型的运算域理论处理
2. Relational Interpretations of Recursive Types in an Operational Setting [J] . Lars Birkedal, Robert Harper Information and Computation . 1999,第1a2期

机译：操作环境中递归类型的关系解释
3. A Domain-Theoretic Model Of Nominally-Typed Object-Oriented Programming [J] . Moez A. AbdelGawad Electronic Notes in Theoretical Computer Science . 2014,第1期

机译：标称类型的面向对象程序设计的领域理论模型
4. Recursive polymorphic types and parametricity in an operational framework [C] . Mellies, P.-A., Vouillon, . 2005

机译：操作框架中的递归多态类型和参数性
5. Fully Generic Programming over Closed Universes of Inductive-Recursive Types [D] . Diehl, Larry. 2017

机译：归纳递归类型的封闭宇宙的完全泛型编程
6. Prognostic Classification Factors Associated With Development of Multiple Autoantibodies Dysglycemia and Type 1 Diabetes—A Recursive Partitioning Analysis [O] . Ping Xu, Jeffrey P. Krischer 2016

机译：与多种自身抗体血糖异常和1型糖尿病相关的预后分类因素—递归划分分析
7. An Operational Domain-theoretic Treatment of Recursive Types [O] . Weng Kin Ho 2006

机译：递归类型的运算域理论处理
8. Relational Interpretations of Recursive Types in an Operational Setting [R] . Birkedal, L., Harper, R. 1998

机译：运算环境中递归类型的关系解释

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号