Principal Types and Unification for Simple Intersection Type Systems

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

代理获取

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

页面导航

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

著录项

作者
Coppo M.; Giannini P.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The Algebraic Intersection Type Unification Problem [J] . Rehof Jakob, Martens Moritz, Dudenhefner Andrej Logical Methods in Computer Science . 2017,第3期

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

机译：交叉口类型统一问题
3. Judgmental subtyping systems with intersection types and modal types [J] . Jeongbong Seo, Sungwoo Park Acta Informatica . 2013,第7a8期

机译：具有交叉类型和模态类型的判断子类型系统
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. Model systems for human papillomavirus production and virus interactions with herpes simplex virus type two: Implications for cervical cancer. [D] . Fang, Li. 2003

机译：人类乳头瘤病毒生产以及与第二型单纯疱疹病毒相互作用的模型系统：对宫颈癌的影响。
6. Herpes simplex virus type 1 immediate-early protein Vmw110 reactivates latent herpes simplex virus type 2 in an in vitro latency system. [O] . R A Harris, R D Everett, X X Zhu, 1989

机译：1型单纯疱疹病毒立即早期蛋白Vmw110在体外潜伏期系统中重新激活2型潜伏性单纯疱疹病毒。
7. Principal type scheme and unification for intersection type discipline [O] . Ronchi Della Rocca Simona 1988

机译：交叉类型学科的主体类型方案与统一
8. Simple, Efficient Object Encoding using Intersection Types [R] . Crary, K. 1999

机译：使用交叉类型进行简单，高效的对象编码

Principal Types and Unification for Simple Intersection Type Systems

著录项

引文网络

相似文献

相关主题

期刊订阅