Status report: specifying javascript with ML

David Herman, Cormac Flanagan. Status report: specifying javascript with ML. In Claudio Russo, Derek Dreyer, editors, Proceedings of the ACM Workshop on ML, 2007, Freiburg, Germany, October 5, 2007. pages 47-52, ACM, 2007. [doi]

Abstract

Abstract is missing.