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