SML# - a new langauge in the SML family - alpha release - comp.lang.functional

Message from discussion SML# - a new langauge in the SML family - alpha release

Atsushi Ohori

View profile

More options Mar 21 2006, 8:43 pm

Newsgroups: comp.lang.functional

From: "Atsushi Ohori" <oh...@jaist.ac.jp>

Date: 21 Mar 2006 17:43:16 -0800

Local: Tues, Mar 21 2006 8:43 pm

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

  Reply to author
  |
  Forward
  | Print
  | View thread
  | Show original
  | Report this message
  | Find messages by this author
  

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.

Reply to author Forward