Fully abstract compilation to JavaScript
A tested semantics for getters, setters, and eval in JavaScript