17 citations · 45 across the 13 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.PL2016★ 2 cited
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…
cs.PL2016
Trace Typing: An Approach for Evaluating Retrofitted Type Systems (Extended Version)
Esben Andreasen, Colin S. Gordon, Satish Chandra +3
Recent years have seen growing interest in the retrofitting of type systems onto dynamically-typed programming languages, in order to improve type safety, programmer productivity,…