首页> 外文OA文献 >Relational Interpretations of Recursive Types in an Operational Setting

【2h】

Relational Interpretations of Recursive Types in an Operational Setting

机译：操作环境中递归类型的关系解释

代理获取

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

页面导航

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

著录项

作者
Birkedal Lars; Harper Robert;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Relational Interpretations of Recursive Types in an Operational Setting [J] . Lars Birkedal, Robert Harper Information and Computation . 1999,第1a2期

机译：操作环境中递归类型的关系解释
2. An operational domain-theoretic treatment of recursive types [J] . WENG KIN HO Mathematical structures in computer science . 2014,第1期

机译：递归类型的运算域理论处理
3. Factors associated with relational coordination between health professionals involved in insulin initiation in the general practice setting for people with type 2 diabetes [J] . Manski-Nankervis Jo-Anne, Furler John, Young Doris, Journal of advanced nursing . 2015,第9期

机译：在2型糖尿病患者的一般实践中，参与胰岛素起始的卫生专业人员之间的关系协调相关因素
4. Relational parametricity for references and recursive types [C] . Lars Birkedal, Kristian Stovring, Jacob Thamsborg Proceedings of the 4th international workshop on Types in language design and implementation . 2009

机译：引用和递归类型的关系参数
5. Type inference, type improvement, and type simplification in a language with user-defined polymorphic relational operators. [D] . Nagy, Lajos Pal. 2007

机译：具有用户定义的多态关系运算符的语言中的类型推断，类型改进和类型简化。
6. Roles and relationships between health professionals involved in insulin initiation for people with type 2 diabetes in the general practice setting: a qualitative study drawing on relational coordination theory [O] . Jo-Anne Manski-Nankervis, John Furler, Irene Blackberry, 2014

机译：在一般实践环境中参与2型糖尿病患者胰岛素启动的卫生专业人员之间的作用和关系：基于关系协调理论的定性研究
7. Relational Interpretations of Recursive Types in an Operational Setting [O] . Lars Birkedal, Robert Harper 1998

机译：操作环境中递归类型的关系解释
8. Relational Interpretations of Recursive Types in an Operational Setting [R] . Birkedal, L., Harper, R. 1998

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

Relational Interpretations of Recursive Types in an Operational Setting

著录项

引文网络

相似文献

相关主题

期刊订阅