搜索结果: 1-1 共查到“计算机科学技术 Type Inclusion Constraints”相关记录1条 . 查询时间(0.117 秒)
We present a general algorithm for solving systems of inclusion constraints over type expressions.The constraint language includes function types, constructor types, and liberal intersection and union...