子类型关系相关论文
类型系统是近年来理论计算机科学的研究热点之一.1999年周晓聪曾在文献[1]中提出并研究了类型系统λω×≤及其性质.类型系统λω......
<正> 一、前言面向对象程序设计中的继承,作为一种模块扩充机制和一种类型精化机制,一方面能通过增加或修改已有类的特征去定义新......
类型系统是近年来理论计算机科学的研究热点之一,1999年周晓聪曾在文献[1]中提出并研究了类型系统λω×≤及其性质,类型系统λω×......