SML#の特徴

SML#は,以下のような特徴をもったML系関数型プログラミング言語です.