Type Safety for JavaScript
the java language specification .