搜索结果: 1-2 共查到“工学 Typing”相关记录2条 . 查询时间(0.031 秒)
Soft Typing with Conditional Types
Soft Typing Conditional Types
font style='font-size:12px;'>
2016/5/24
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...
Dynamic Typing vs. Subtype Inference
Dynamic Typing Subtype Inference
font style='font-size:12px;'>
2016/5/24
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations in dynamically typed languages. This paper shows that dynamic typing at least as powerful as Henglein...