搜索结果: 1-1 共查到“可计算性理论 types”相关记录1条 . 查询时间(0.07 秒)
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...