Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

SML# - a new langauge in the SML family - alpha release

0 views
Skip to first unread message

Atsushi Ohori

unread,
Mar 21, 2006, 8:43:16 PM3/21/06
to
Dear All,

I would like to announce our new language SML#,
whose alpha release is now available at:

http://www.pllab.riec.tohoku.ac.jp/smlsharp/

SML# is a conservation extension of the Definition of SML with
few moderate but practically important features, including
interoperability, record polymorphism, and rank1 polymorphism.

Best regards,

Atsushi Ohori (on behalf of the SML# development team)
RIEC, Tohoku University. (Also hold a visiting position at JAIST)
Please send any comments to my address at RIEC, Tohoku University.

0 new messages