说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 高阶子类型关系
1)  high order subtyping
高阶子类型关系
2)  higher-order subtyping
高阶子类型
1.
A polymorphic type system with higher-order subtyping, which is called the type system λω×_≤, is investigated.
为研究面向对象程序设计语言的形式理论基础,探讨了一个命名为类型系统λω×≤的带高阶子类型的多态类型系统,并利用插入子和fibration理论,引入λω×≤fibration作为该类型系统的语义模型。
3)  subtype relation
子类型关系
例句>>
4)  Relationship Type
关系类型
1.
The Impact of Relationship Type on Customer Responses to Service Failure;
关系类型对服务失败后顾客反应的影响
更多例句>>
5)  higher order precedence relation
高阶优先关系
6)  types of slots relation
槽关系类型
例句>>
补充资料：血液有形成分各种类型的血细胞虚线指示中间类型的细胞。




血液有形成分  各种类型的血细胞  虚线指示中间类型的细胞。
                                       李瑞端绘
  [图]图

说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条