Type Refinement for Static Analysis of JavaScript

Publication
Dynamic Languages Symposium