Dear All,
I am pleased to announce the release of SML# version 0.20.
http://www.pllab.riec.tohoku.ac.jp/smlsharp/
SML# is a new ML language that extends the Definition of Standard ML
with a few moderate but practically im****tant features, including:
* Seamless Interoperability with C
a user program can call existing C library functions such as those
in OpenGL and GLUT directly without writing complicated "stub"
* Record Polymorphism
* Rank1 Polymorphism
The compiler runs on Linux, Mac OS X, and Windows.
SML# is distributed as open source software with a BSD-style license.
Best regards,
Atsu**** Ohori (on behalf of the SML# team)
RIEC, Tohoku University.