Status report: specifying javascript with ml (2007)

by David Herman, Cormac Flanagan
Venue:In Proceedings of the 2007 workshop on Workshop on ML, ML ’07