Publication details

Saarland University Computer Science

Defects in the Revised Definition of Standard ML

Andreas Rossberg

Technical Report, Saarland University, Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18., 2007/01/22, October 2001

The Definition of Standard ML is a comprehensive, formal specification of a full programming language. It probably is the most precise language specification to date. Nevertheless, it inevitably contains a certain number of bugs, ambiguities and grey areas. We list and discuss all known issues in the 1997 revision of the language definition.

Updated 2004/06/22, 2005/01/13, 2005/01/26, 2006/07/18, 2007/01/22.

Download PDF        Show BibTeX               

Login to edit

Legal notice, Privacy policy