Features of SML#

SML# supports the following practically important new features:

SML# is carefully designed so that

  • it is a conservative extension of Standard ML: SML# compiler compiles any program that conforms to the Definition of Standard ML.
  • it supports the Basis Library.

Currently, SML# (0.20 release version) is available in the following forms.

  • source package (that can be build on linux, solaris, cygwin)
  • Mac OS Intel/PowerPC universal binary package
  • Windows binary installer
Last modified:2010/11/12 20:16:32