%0 Journal Article
%T garment中多态类型的ideal模型
%A 郑红军？
%A 张乃孝？
%J 软件学报
%P 194-199
%D 1998
%X 本文从ideal的基本概念出发,研究了ideal作为类型的语义模型所具有的性质.在类型的ideal模型下,讨论了garment中参数化多态类型和约束多态类型的语义.并在此基础上,证明了garment中类型规则的语义可靠性.
%K ideal
%K 多态类型
%K 类型系统
%K 语义
%K garment.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19980307&flag=1