Status report: specifying javascript with ML
Definitional interpreters for higher-order programming languages