Gradual typing embedded securely in JavaScript
Fully abstract compilation to JavaScript