4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
5 <meta name="generator" content="AsciiDoc 8.6.9">
7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
8 <link rel="stylesheet" href="./pygments.css" type="text/css">
11 <script type="text/javascript" src="./asciidoc.js"></script>
12 <script type="text/javascript">
17 <link rel="stylesheet" href="./mlton.css" type="text/css">
19 <body class="article">
21 <div id="banner-home">
22 <a href="./Home">MLton 20180207</a>
30 <h2 id="_what_is_mlton">What is MLton?</h2>
31 <div class="sectionbody">
32 <div class="paragraph"><p>MLton is an open-source, whole-program, optimizing
33 <a href="StandardML">Standard ML</a> compiler.</p></div>
37 <h2 id="_what_8217_s_new">What’s new?</h2>
38 <div class="sectionbody">
39 <div class="ulist"><ul>
42 20180207: Please try out our latest release, <a href="Release20180207">MLton 20180207</a>.
47 20140730: <a href="http://www.cs.rit.edu/%7emtf">Matthew Fluet</a> and
48 <a href="http://www.cse.buffalo.edu/%7elziarek">Lukasz Ziarek</a> have been
49 awarded an <a href="http://www.nsf.gov/funding/pgm_summ.jsp?pims_id=12810">NSF
50 CISE Research Infrastructure (CRI)</a> grant titled "Positioning MLton
51 for Next-Generation Programming Languages Research;" read the award
53 (<a href="http://www.nsf.gov/awardsearch/showAward?AWD_ID=1405770">Award #1405770</a>
55 <a href="http://www.nsf.gov/awardsearch/showAward?AWD_ID=1405614">Award #1405614</a>)
63 <h2 id="_next_steps">Next steps</h2>
64 <div class="sectionbody">
65 <div class="ulist"><ul>
68 Read about MLton’s <a href="Features">Features</a>.
73 Look at <a href="Documentation">Documentation</a>.
78 See some <a href="Users">Users</a> of MLton.
83 <a href="https://sourceforge.net/projects/mlton/files/mlton/20180207">Download</a> MLton.
88 Meet the MLton <a href="Developers">Developers</a>.
93 Get involved with MLton <a href="Development">Development</a>.
98 User-maintained <a href="FAQ">FAQ</a>.
103 <a href="Contact">Contact</a> us.
110 <div id="footnotes"><hr></div>
112 <div id="footer-text">
114 <div id="footer-badges">