Dependent types for JavaScript
ADsafety: Type-Based Verification of JavaScript Sandboxing