set-theoretic foundation of parametric polymorphism and subtyping
文献类型：会议论文
| 作者 | Castagna Giuseppe ; Xu Zhiwu |
| 出版日期 | 2011 |
| 会议名称 | 16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11 |
| 会议日期 | September |
| 会议地点 | Tokyo, Japan |
| 关键词 | Computer programming languages Recursive functions |
| 页码 | 94-106 |
| 中文摘要 | We define and study parametric polymorphism for a type system with recursive, product, union, intersection, negation, and function types. We first recall why the definition of such a system was considered hard-when not impossible-and then present the main ideas at the basis of our solution. In particular, we introduce the notion of "convexity" on which our solution is built up and discuss its connections with parametricity as defined by Reynolds to whose study our work sheds new light. Copyright © 2011 ACM. |
| 英文摘要 | We define and study parametric polymorphism for a type system with recursive, product, union, intersection, negation, and function types. We first recall why the definition of such a system was considered hard-when not impossible-and then present the main ideas at the basis of our solution. In particular, we introduce the notion of "convexity" on which our solution is built up and discuss its connections with parametricity as defined by Reynolds to whose study our work sheds new light. Copyright © 2011 ACM. |
| 收录类别 | EI ; SCI |
| 会议主办者 | ACM SIGPLAN |
| 会议录 | Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
 |
| 学科主题 | Computer Science |
| 语种 | 英语 |
| ISSN号 | 1523-2867 |
| ISBN号 | 9781450308656 |
| WOS记录号 | WOS:000297632700010 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16197]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | Castagna Giuseppe,Xu Zhiwu. set-theoretic foundation of parametric polymorphism and subtyping[C]. 见:16th ACM SIGPLAN International Conference on Functional Programming, ICFP'11. Tokyo, Japan. September. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。