14 citations · 31 across the 17 of their papers we have counts for
1 paper · 1 filter
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…