搜索结果: 1-1 共查到“人工智能 Static Type Inference”相关记录1条 . 查询时间(0.137 秒)
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...