garment中多态类型的ideal模型

本文从ideal的基本概念出发,研究了ideal作为类型的语义模型所具有的性质.在类型的ideal模型下,讨论了garment中参数化多态类型和约束多态类型的语义.并在此基础上,证明了garment中类型规则的语义可靠性.