Type Safety for JavaScript
Status report: specifying javascript with ML