搜索结果: 1-1 共查到“计算机科学技术 Soft Typing”相关记录1条 . 查询时间(0.046 秒)
We present a simple and powerful type inference method for dynamically typed languages where no type information is supplied by the user. Type inference is reduced to the problem of solvability of a s...