Status report: specifying javascript with ML
Gradual Typing for Functional Languages