受限量词类型相关硕士博士期刊学术论文

该文提出带高阶子类型的多态类型系统λω×,它是[Cro193]的类型系统λω×的扩充,为一般算子引入了子类型关系,并结合多态性使用......