首页> 外文OA文献 >Principal type scheme and unification for intersection type discipline

【2h】

Principal type scheme and unification for intersection type discipline

机译：交叉类型学科的主体类型方案与统一

代理获取

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

页面导航

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

著录项

作者
Ronchi Della Rocca Simona;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. On strong normalization and type inference in the intersection type discipline [J] . Gerard Boudol Theoretical computer science . 2008,第1a3期

机译：交叉口类型学科中的强规范化和类型推断
2. The Algebraic Intersection Type Unification Problem [J] . Rehof Jakob, Martens Moritz, Dudenhefner Andrej Logical Methods in Computer Science . 2017,第3期

机译：代数相交类型统一问题
3. The Intersection Type Unification Problem [J] . Andrej Dudenhefner, Moritz Martens, Jakob Rehof LIPIcs : Leibniz International Proceedings in Informatics . 2016,第29期

机译：交叉口类型统一问题
4. Characterization of the principal type of normal forms in an intersection type system [C] . Emilie Sayag, Michel Mauny Conference on Foundations of Software Technology and Theoretical Computer Science . 1996

机译：交叉型系统中正常形式的主要类型的表征
5. Speaking of discipline: The nexus between discipline, parental type, parental role strain and achievement. [D] . Koch, Pamela Ray. 2008

机译：说到纪律：纪律，父母类型，父母角色紧张和成就之间的联系。
6. On the role of type IX collagen in the extracellular matrix of cartilage: type IX collagen is localized to intersections of collagen fibrils [O] . 1986

机译：关于IX型胶原在软骨细胞外基质中的作用：IX型胶原位于胶原纤维的交叉点
7. Principal Types and Unification for Simple Intersection Type Systems [O] . Coppo M., Giannini P. 1995

机译：简单交叉点类型系统的主要类型和统一

Principal type scheme and unification for intersection type discipline

著录项

引文网络

相似文献

相关主题

期刊订阅