Gradual typing embedded securely in JavaScript
Information-Flow Security for a Core of JavaScript