Type Inference for Static Compilation of JavaScript (Extended Version)

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin +4

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 ty…