STANDARD MLの知名度 - 知名度.net

Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。''The Definition of Standard ML'' で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。 Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。''The Definition of Standard ML'' で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。