<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.10">
<title>DefinitionOfStandardML</title>
<link rel="stylesheet" href="./asciidoc.css" type="text/css">
<link rel="stylesheet" href="./pygments.css" type="text/css">


<script type="text/javascript" src="./asciidoc.js"></script>
<script type="text/javascript">
/*<![CDATA[*/
asciidoc.install();
/*]]>*/
</script>
<link rel="stylesheet" href="./mlton.css" type="text/css">
</head>
<body class="article">
<div id="banner">
<div id="banner-home">
<a href="./Home">MLton 20201002</a>
</div>
</div>
<div id="header">
<h1>DefinitionOfStandardML</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p><a href="References#MilnerEtAl97"> The Definition of Standard ML (Revised)</a> is a
terse and formal specification of <a href="StandardML">Standard ML</a>'s syntax
and semantics.  The language specified by this book is often referred
to as SML 97. You can check its syntax
<a href="http://www.mpi-sws.org/~rossberg/sml.html">grammar</a> online (thanks to
Andreas Rossberg).</p></div>
<div class="paragraph"><p><a href="References#MilnerEtAl90"> The Definition of Standard ML</a> is an older
version of the definition, published in 1990. The accompanying
<a href="References#MilnerTofte91"> Commentary</a> introduces and explains the notation
and approach. The same notation is used in the SML 97 definition, so it
is worth keeping the older definition and its commentary at hand if you
intend a close study of the definition.</p></div>
</div>
</div>
</div>
<div id="footnotes"><hr></div>
<div id="footer">
<div id="footer-text">
</div>
<div id="footer-badges">
</div>
</div>
</body>
</html>
