Safe & Efficient Gradual Typing for TypeScript
Towards a type system for analyzing javascript programs