高阶子类型关系
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
In recent years, peoples have studied many type systems, and the type systems with high order subtyping play an important role in the research of formal foundation of object oriented technology.
类型系统一直是理论计算机科学的研究热点，特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用。
youdao
应用推荐
模块上移
模块下移
不移动