Safe & Efficient Gradual Typing for TypeScript
Gradual typing embedded securely in JavaScript