带序范畴相关论文
该文提出带高阶子类型的多态类型系统λω×,它是[Cro193]的类型系统λω×的扩充,为一般算子引入了子类型关系,并结合多态性使用......
类型系统一直是理论计算机科学的研究热点,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要......
类型系统一直是理论计算机科学的研究热点,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要......
