The SML# version 0.30 has been released from:
http://www.pllab.riec.tohoku.ac.jp/smlsharp/
SML# is an extension of the Definition of Standard ML with few
moderate but practically important features, including:
* seamless interoperability with C,
* record polymorphism, and
* rank1 polymorphism.
The compiler runs on Linux, Mac Intel/PowerPC, Windows.
The major change from SML# 0.20 is implementation of several
optimization phases in the SML# compiler, among which the most
significant one may be Record Unboxing. (For the details, see Changes
and README files in the distribution.)
Best regards,
Atsushi Ohori (on behalf of the SML# development team)
RIEC, Tohoku University.