搜索结果: 1-2 共查到“Polymorphic Types”相关记录2条 . 查询时间(0.101 秒)
Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)
Optimal Representations Polymorphic Types Subtyping (Extended Abstract)
font style='font-size:12px;'>
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 simpli ed b...
Optimal Representations of Polymorphic Types with Subtyping
types polymorphism subtyping
font style='font-size:12px;'>
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 simpli ed b...