doc/guide/localhost/DefinitionOfStandardML

   1 <!DOCTYPE html>
   2 <html lang="en">
   3 <head>
   4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
   5 <meta name="generator" content="AsciiDoc 8.6.9">
   6 <title>DefinitionOfStandardML</title>
   7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
   8 <link rel="stylesheet" href="./pygments.css" type="text/css">
   9
  10
  11 <script type="text/javascript" src="./asciidoc.js"></script>
  12 <script type="text/javascript">
  13 /*<![CDATA[*/
  14 asciidoc.install();
  15 /*]]>*/
  16 </script>
  17 <link rel="stylesheet" href="./mlton.css" type="text/css">
  18 </head>
  19 <body class="article">
  20 <div id="banner">
  21 <div id="banner-home">
  22 <a href="./Home">MLton 20180207</a>
  23 </div>
  24 </div>
  25 <div id="header">
  26 <h1>DefinitionOfStandardML</h1>
  27 </div>
  28 <div id="content">
  29 <div id="preamble">
  30 <div class="sectionbody">
  31 <div class="paragraph"><p><a href="References#MilnerEtAl97"> The Definition of Standard ML (Revised)</a> is a
  32 terse and formal specification of <a href="StandardML">Standard ML</a>'s syntax
  33 and semantics.  The language specified by this book is often referred
  34 to as SML 97. You can check its syntax
  35 <a href="http://www.mpi-sws.org/~rossberg/sml.html">grammar</a> online (thanks to
  36 Andreas Rossberg).</p></div>
  37 <div class="paragraph"><p><a href="References#MilnerEtAl90"> The Definition of Standard ML</a> is an older
  38 version of the definition, published in 1990. The accompanying
  39 <a href="References#MilnerTofte91"> Commentary</a> introduces and explains the notation
  40 and approach. The same notation is used in the SML 97 definition, so it
  41 is worth keeping the older definition and its commentary at hand if you
  42 intend a close study of the definition.</p></div>
  43 </div>
  44 </div>
  45 </div>
  46 <div id="footnotes"><hr></div>
  47 <div id="footer">
  48 <div id="footer-text">
  49 </div>
  50 <div id="footer-badges">
  51 </div>
  52 </div>
  53 </body>
  54 </html>