全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
软件学报  1998 

An Ideal Model for Polymorphic Types in Garment
Garment中多态类型的Ideal模型

Keywords: Ideal,polymorphic type,type system,semantics,Garment
Ideal
,多态类型,类型系统,语义,Garment.

Full-Text   Cite this paper   Add to My Lib

Abstract:

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.

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133