Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /pages/trunk/index.html
ViewVC logotype

Diff of /pages/trunk/index.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1042, Mon Jan 28 17:26:42 2002 UTC revision 2218, Fri Nov 10 15:53:11 2006 UTC
# Line 3  Line 3 
3  <head>  <head>
4    
5    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">    <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
6    <!-- Root page for SML/NJ Web site --> <!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories -->  
7    <!-- Root page for SML/NJ Web site -->
8    <!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories -->
9    <!-- BELL-LABS    <!-- BELL-LABS
10  kw      programming language compiler functional symbolic  kw      programming language compiler functional symbolic
11  category        project  category        project
12  contact dbm@cs.chicago.edu  contact macqueen@cs.chicago.edu
13  desc    a compiler and programming system for a modern functional language  desc    a compiler and programming system for a modern functional language
14  -->  -->
15    
16    <link rel="icon" href="GIFS/icon.bmp" type="image/bmp">  <link rel="icon" href="icon.bmp" type="image/bmp">
17    
18    <link rel="SHORTCUT ICON" href="icon.ico">
19    
   <link rel="SHORTCUT ICON" href="GIFS/icon.ico">  
20    <title>Standard ML of New Jersey</title>    <title>Standard ML of New Jersey</title>
21    
22         <!-- Changed by: Dave MacQueen, 13-May-1999 -->         <!-- Changed by: Dave MacQueen, 13-May-1999 -->
23    
24    <meta name="description" content="The Standard ML of New Jersey    <meta name="description" content="The Standard ML of New Jersey
25  compiler and programming system">  compiler and programming system">
26    
27    <meta name="keywords" content="ML, SML, SML/NJ, Standard ML, functional programming">  <meta name="keywords"
28          content="ML, SML, SML/NJ, Standard ML, functional programming">
29    
30  </head>  </head>
31    
32    <body bgcolor="#ffffff">    <body bgcolor="#ffffff">
33    
34  <blockquote>  <blockquote>
35    
36    <table width="100%">    <table width="100%">
37       <tbody>       <tbody>
38         <tr>         <tr>
39    <td align="left"> <img align="center" alt="SML/NJ" src="GIFS/Lindig2.jpg">        <td align="left">
40              <img align="middle" alt="SML/NJ" src="Lindig2.jpeg">
41          </td>
42          <td align="center">
43                <big><big><strong>
44                     Standard ML<br> of New Jersey
45                </strong></big></big>
46          </td>
47          <td align="right">
48                &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
49    </td>    </td>
          <td align="center"><big><big><strong>Standard ML<br>  
  of New Jersey</strong></big></big> </td>  
          <td align="right"><a href="http://www.bell-labs.com"><img border="0" align="center" alt="Lucent Technologies, Bell Labs Innovations" src="GIFS/lucent.gif">  
          </a></td>  
50         </tr>         </tr>
   
51      </tbody>      </tbody>
52    </table>    </table>
53    
54    <hr>    <hr>
55    
56    <p> <a href="smlnj.html"><strong>Standard ML of New Jersey</strong></a>    <p> <a href="smlnj.html"><strong>Standard ML of New Jersey</strong></a>
57    (abbreviated <strong>SML/NJ</strong>) is a compiler for the <a href="sml97.html"><strong>  (abbreviated <strong>SML/NJ</strong>) is
58   Standard ML '97</strong></a> programming language with associated libraries,  a compiler for the
59  tools, and documentation.  SML/NJ is <a href="license.html">free, open source</a>  <a href="sml97.html"><strong>Standard ML '97</strong></a>
60    software. </p>  programming language with associated libraries,
61    tools, and documentation.
62    SML/NJ is <a href="license.html">free, open source</a> software.
63    </p>
64    
65    <p> </p>  <a href="dist/working/index.html">
66    <h3>Downloads</h3>
67    </a>
68    
69    Although we have not "blessed" it as a full release,
70    we <i>strongly</i> recommend using one of our recent
71    <a href="dist/working/index.html">working</a> versions.
72    Currently, the most recent such version
73    is <a href="dist/working/110.60/index.html">110.60</a>.
74    
75    <h3><a href="new.html">What's New</a></h3>  
76    <a href="new.html">
77    <h3>What's New</h3>
78    </a>
79    
80    <ul>    <ul>
81       <li><a href="new.html#110.38">Working version 110.38 available.</a>  <li>Working version
82  This release improves the internal organization of the MLRISC backend and    <a href="dist/working/110.60/index.html">110.60</a> available.
83  comes with a completely overhauled FFI implementation.<br>    New directory layout, subversion-based source repository,
84      beta-releases of new program generator tools.</li>
85    <li>Working version
86        <a href="dist/working/110.59/index.html">110.59</a> available.
87        Bugfixes and minor improvements.</li>
88    <li>Working version
89        <a href="dist/working/110.58/index.html">110.58</a> available.
90        Among other improvements, this version adds support for
91        Intel-based Macs as well as x86-64-based Linux machines.  Moreover,
92        it comes with <b>lexgen</b>, a brand-new drop-in replacement for
93        <tt>ml-lex</tt>.</li>
94    <li>Working version
95        <a href="dist/working/110.57/index.html">110.57</a>
96        available.  Bugfixes and minor feature enhancements.</li>
97    <li><a href="new.html#110.51">Working version 110.51 available.</a>
98      This version adds 64-bit integer and word arithmetic to the
99      <i>Basis</i> library (structures <tt>Int64</tt> and
100      <tt>Word64</tt>).  (At the moment, the implementation is rather
101      inefficient, though.)</li>
102    <li><a href="new.html#110.50">Working version 110.50 available.</a>
103      This version corrects a problem related to <tt>struct</tt> arguments
104      and results with NLFFI on the x86 platform.  It also improves
105      back-trace support and adds a simple test coverage tool.
106      In addition, CM can now deal directly with "lazy sml" source code.</li>
107    <li><a href="new.html#110.49">Working version 110.49 available.</a>
108      Version 110.49 fixes another show-stopper bug in the x86 c-calls
109      implementation, fixes a bug in the signal masking code, and enables
110      Cygwin support.</li>
111    <li><a href="new.html#110.48">Working version 110.48 available.</a>
112      Version 110.48 fixes a show-stopper bug in the x86 c-calls
113      implementation introduced by 110.47.  It also resolves a few other
114      minor issues.</li>
115    <li><a href="new.html#110.47">Working version 110.47 available.</a>
116      The most important change is the availability of preliminary
117      implementations of the NLFFI foreign-function interface under Mac OS
118      X and Win32.</li>
119    <li><a href="new.html#110.46">Working version 110.46 available.</a>
120       We are moving closer to compliance with the Basis Library specification.
121       There are also bugfixes and other minor enhancements to the installer,
122       the Windows port, the <tt>ml-build</tt> command-line tool, and
123       the Compilation Manager.
124       </li>       </li>
125       <li><a href="new.html#SF-mirror"> SourceForge mirror of SML/NJ web site  <li><a href="new.html#110.45">Working version 110.45 available.</a>
126  [October 17, 2001].</a> </li>     This is a maintenance release which mostly fixes problems compiling
127       <li>  Working version 110.36 available.      This is mainly a bugfix     the runtime system code using GCC 3.3.
 release. </li>  
      <li> Working version 110.35 available.  We have      reworked the organization  
 of compiler libraries.  There are also      several important bug fixes.  
128      </li>      </li>
129       <li> Working version 110.34 available.  This      version brings renewed  <li><a href="new.html#110.44">Working version 110.44 available.</a>
130  support for CML and eXene, several bug fixes,      and further improvements     This update fixes several important bugs, improves the new
131  to the new FFI. </li>     installer, provides support for Mac OS X 10.3 (Panther), and
132       <li> <a href="new.html#macosx"> Working version 110.33 available with     continues to bring the Basis implementation closer to the
133   Mac OS X support and experimental FFI [June 6, 2001]</a> </li>     specification.</li>
134       <li> <a href="new.html#smlnj.exe"> New 110.0.7 smlnj.exe fixes error  <li><a href="new.html#110.43">Working version 110.43 available.</a>
135  messages when installing under Windows 95/98/ME. [March 23, 2001]</a> </li>     This is a fairly major update which brings back an operational
136       <li> <a href="new.html#sourceforge">New SML and SML/NJ SourceForge projects     port to the Microsoft Windows platform as well as extensive
137  [1 March 2001]</a>. </li>     work on the Basis library (including support for <tt>IntInf.int</tt>).</li>
138       <li> <a href="new.html#prog-smlnj">New SML/NJ tutorial by Riccardo Pucella  <li>The SML/NJ source CVS repository has been moved to SourceForge.
139  available</a>. [18 Feb 2001]. </li>    The
140       <li> <a href="new.html#sml-mode">emacs sml-mode updated to 3.9.5 in   <a href="https://sourceforge.net/projects/smlnj">SML/NJ SourceForge
141  contrib/emacs  [26 Jan 2001]</a>. </li>              project page</a>
142       <li> <a href="new.html#110.0.7">New <strong>110.0.7</strong> patch release   has a link to information about CVS access.  The distribution files
143   available; includes CML fixes, smlnj-lib improvements [October 12, 2000]</a>   are also in the process of being moved to SourceForge.  A mirror of
144   . </li>   the www.smlnj.org is available at the
145     <a href="http://smlnj.cs.uchicago.edu">
146     University of Chicago</a>. The Bell Labs SML/NJ web site is now obsolete and
147     will be replaced with an indirection to www.smlnj.org. [March 10, 2003]</li>
148    <li>We have switched over to a new mailing list hosted by
149        <a href="http://sourceforge.net/">SourceForge</a>.  The name of
150        the new list is <img src="smlnj-list-logo.jpg" align=center>.
151        (To avoid receiving
152        to much spam we do not show the name of the mailing list in clear text
153        and render it as a JPG image instead.  If spammers start using fancy
154        OCR, we give up.)</li>
155    <li><a href="new.html#110.42">Working version 110.42 available.</a>
156        This relatively small but important update (among other things)
157        fixes a memory leak problem in CML and provides support for MacOS
158        X 10.2.  (We have provided a MacOS <a
159        href="/dist/working/110.42/smlnj-macosx.dmg">disk
160        image</a> with pre-compiled runtime systems for both MacOS 10.1
161        and 10.2 for use by those without developer tools.  See the README
162        file within this disk image for details.)
163       <li> <a href="new.html#Version-111">Version 111 plans</a>. </li>       <li> <a href="new.html#Version-111">Version 111 plans</a>. </li>
   
164    </ul>    </ul>
165    
166    <h3><a href="software.html">Downloading SML/NJ Software for Unix or Windows</a></h3>  <a href="software.html">
167    <h3>Downloading SML/NJ Software for Unix or Windows</h3>
168    </a>
169    
170    <ul>    <ul>
171    <li>Information on <a href="software.html">downloading and installing</a>    <li>Information on <a href="software.html">downloading and installing</a>
172    the <strong>SML/NJ</strong> system and related software. </li>    the <strong>SML/NJ</strong> system and related software. </li>
173       <li> A <strong>self-installing .EXE</strong> for Windows 9X, NT, or  <li> A <strong>self-installing .EXE</strong> for Windows 9X/NT/2000/XP
174  2000  is available (<a href="dist/smlnj.exe">http</a>, <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/release/110/smlnj.exe">  is available (<a href="dist/release/110.0.7/smlnj.exe">(smlnj.exe, 5.4MB)</a>.</li>
  ftp</a>; 5.4MB). </li>  
   
175    </ul>    </ul>
176    
177    <h3>Background</h3>    <h3>Background</h3>
# Line 98  Line 180 
180    <li> <a href="sml.html">What is <b>SML</b>?</a> </li>    <li> <a href="sml.html">What is <b>SML</b>?</a> </li>
181       <li> <a href="sml97.html">What is <b>SML '97</b>?</a> </li>       <li> <a href="sml97.html">What is <b>SML '97</b>?</a> </li>
182       <li> <a href="smlnj.html">What is <b>SML/NJ</b>?</a> </li>       <li> <a href="smlnj.html">What is <b>SML/NJ</b>?</a> </li>
   
183    </ul>    </ul>
184    
185    <h3>Documentation and Literature</h3>    <h3>Documentation and Literature</h3>
# Line 107  Line 188 
188    <li><a href="doc/literature.html#books">Books</a> </li>    <li><a href="doc/literature.html#books">Books</a> </li>
189       <li><a href="doc/literature.html#tutorials">Tutorials</a> </li>       <li><a href="doc/literature.html#tutorials">Tutorials</a> </li>
190       <li><a href="doc/index.html">SML/NJ User's Guide</a> </li>       <li><a href="doc/index.html">SML/NJ User's Guide</a> </li>
191       <li><a href="doc/basis/index.html">SML'97 Basis Library</a> </li>  <li><a href="http://www.standardml.org/Basis">SML'97 Basis Library</a></li>
192       <li><a href="doc/FAQ/index.html">SML/NJ FAQ (Frequently Asked Questions)</a>  <li><a href="doc/FAQ/index.html">SML/NJ FAQ
193    </li>      (Frequently Asked Questions)</a></li>
194       <li><a href="doc/Conversion/index.html">SML'97 Conversion Guide</a>  <li><a href="doc/Conversion/index.html">SML'97 Conversion Guide</a></li>
     </li>  
195       <li><a href="doc/Conversion/top-level-comparison.html">Top Level Environment       <li><a href="doc/Conversion/top-level-comparison.html">Top Level Environment
196  Comparison</a> </li>  Comparison</a> </li>
197       <li><a href="doc/features.html">Special features of SML/NJ</a> </li>       <li><a href="doc/features.html">Special features of SML/NJ</a> </li>
# Line 122  Line 202 
202    Concurrent ML</a> </li>    Concurrent ML</a> </li>
203       <li><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/eXene/index.html">       <li><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/eXene/index.html">
204    eXene</a> </li>    eXene</a> </li>
205       <li><a href="doc/SMLNJ-C/index.html">SML/NJ-C foreign function interface</a>  <li><a href="doc/SMLNJ-C/index.html">SML/NJ-C foreign function
206    </li>      interface</a></li>
207       <li><a href="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html">       <li><a href="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html">
208   MLRISC</a> </li>   MLRISC</a> </li>
209       <li><a href="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html">       <li><a href="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html">
210   comp.lang.ml FAQ</a> </li>   comp.lang.ml FAQ</a> </li>
211       <li><a href="compiler-notes/index.html">Compiler notes</a>  <li><a href="compiler-notes/index.html">Compiler notes</a></li>
       <p> </p>  
      </li>  
      <li>These <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z">  
   SML/NJ web pages</a>, including the Basis web pages, are available for  
 downloading as a compressed tar file. The <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz">  
   Basis documentation pages</a> are also available separately as a gzipped  
 tar file.  
       <blockquote> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z">  
   ftp//ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z</a> (1.2MB)<br>  
   <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz">  
   ftp//ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz</a>  
   (176KB) </blockquote>  
   </li>  
   
212      </ul>      </ul>
213    
214      <h3>Reporting Bugs</h3>      <h3>Reporting Bugs</h3>
215    
216      <ul>      <ul>
217    <li>Bugs can be reported online using our <a href="http://www.cs.princeton.edu/%7Eappel/smlnj/bugform.cgi">  <li>Bugs can be reported online using our
218        <a href="http://www.cs.princeton.edu/%7Eappel/smlnj/bugform.cgi">
219   cgi bug form</a> at Princeton. </li>   cgi bug form</a> at Princeton. </li>
220         <li>You can also submit bug reports by email to <a href="mailto:sml-bugs@research.bell-labs.com">  <li>You can also submit bug reports by email to
221   sml-bugs@research.bell-labs.com</a> using the <a href="bug-report-form">      <img src="smlnj-list-logo.jpg" align=center> using the
222   bug report form</a>. </li>      <a href="bugs/bug-report-form">bug report form</a>.</li>
223         <li>The record of <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/bugs">  <li>The record of currently known bugs and the bug history</a> for
224   currently known bugs and the bug history</a> for SML/NJ are available via  SML/NJ are available via the <a href="bugs/index.html">bugs web page</a>.</li>
 FTP. </li>  
   
225      </ul>      </ul>
226    
227      <h3><a href="links.html">Links</a></h3>  <a href="links.html">
228    <h3>Links</h3>
229    </a>
230    
231      <ul>      <ul>
232    <li>Pointers to programming resources (libraries, tools, example code),    <li>Pointers to programming resources (libraries, tools, example code),
233  projects using <b>SML/NJ</b>, other <b>SML</b> implementations, related compiler      projects using <b>SML/NJ</b>, other <b>SML</b> implementations, related
234  research work, and miscellaneous <b>SML</b> links. The programming resources      compiler  research work, and miscellaneous <b>SML</b> links.
235  links will soon move to a separate page of their own. </li>      The programming resources  links will soon move to a separate
236        page of their own.</li>
237      </ul>      </ul>
238    
239      <h3><a href="people.html"> People</a></h3>  <a href="people.html">
240    <h3>People</h3>
241    </a>
242    
243      <ul>      <ul>
244    <li>Picture of current cast of people involved in the project. </li>    <li>Picture of current cast of people involved in the project. </li>
   
245      </ul>      </ul>
   </blockquote>  
246    
247      <hr> Send your comments to <a href="mailto:sml-nj@research.bell-labs.com">  <hr>
248   sml-nj@research.bell-labs.com</a><br>  
249    <font size="-3">   Copyright © 1996,   <a href="http://www.lucent.com/">  Send your comments to <img src="smlnj-list-logo.jpg" align=center>.
250   Lucent Technologies; Bell Laboratories</a>.   <br>  
251    </font> <br>  <br>
252    
253    <font size="-3">Copyright &copy; 2004-2005, the SML/NJ Fellowship</a>.
254    </font>
255    
256    <br>
257    
258    <hr>
259    
260    <p>
261    This material is based upon work supported in part by the National
262    Science Foundation under Grant No. CNS-0454136.
263    </p>
264    
265    <p>
266    Any opinions, findings and conclusions or recommendations expressed in
267    this material are those of the author(s) and do not necessarily
268    reflect the views of the National Science Foundation (NSF).
269    </p>
270    
271      <hr> <a href="http://sourceforge.net"> <img src="http://sourceforge.net/sflogo.php?group_id=20680" width="88" height="31" border="0" alt="SourceForge Logo">  <hr>
272    
273    <a href="http://sourceforge.net/">
274        <img src="sflogo.png" width="88" height="31"
275             border="0" alt="SourceForge Logo">
276       </a>       </a>
277    
278      </body>      </body>
279      </html>      </html>

Legend:
Removed from v.1042  
changed lines
  Added in v.2218

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0