Youngil Choi

Type Inference for Static Compilation of JavaScript (Extended Version)

2016 · arXiv (Cornell University)

We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recursive objects, and is expressive …