搜索结果: 1-1 共查到“工学 Dynamically Typed Language”相关记录1条 . 查询时间(0.062 秒)
Static Type Inference in a Dynamically Typed Language
Static Type Inference Dynamically Typed Language
2016/5/25
We present a type inference system for FL based on an operational, rather than a denotational, formulation of types. The essential elements of the system are a type language based on regular trees and...