搜索结果: 1-1 共查到“计算机科学技术 Subtyping Extended Abstract”相关记录1条 . 查询时间(0.14 秒)
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
Optimal Representations Polymorphic Types Subtyping (Extended Abstract)
2016/5/24
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism. When used together, these two features induce equivalences that allow types to be simplied b...