%0 Journal Article
%T An Ideal Model for Polymorphic Types in Garment<br>Garment中多态类型的Ideal模型
%A ZHENG Hong-jun
%A ZHANG Nai-xiao
%A <br>郑红军
%A 张乃孝
%J 软件学报
%D 1998
%I 
%X Starting with the concept of Ideal, the paper presents their properties when Ideals are taken as the semantic model for types. Under the ideal model of types, the paper discusses the semantics for polymorphic types in a mechanism for abstraction and encapsulation of languages named Garment, including parametric polymorphic types and constrained polymorphic types. Finally, the semantic soundness of typing rules in Garment is proved within the Ideal model.
%K Ideal
%K polymorphic type
%K type system
%K semantics
%K Garment<br>Ideal
%K 多态类型
%K 类型系统
%K 语义
%K Garment.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=011EEE00AA1D0D3F&yid=8CAA3A429E3EA654&vid=9CF7A0430CBB2DFD&iid=38B194292C032A66&sid=5D9D6A8FC2C66FD8&eid=FCD27DC5E1F2EEE7&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=15