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