{"version":"1.0","type":"link","title":"Standard ML - Newikis","description":"Standard ML (SML) は、プログラミング言語MLの標準ないし1方言である。The Definition of Standard ML で型付け規則と操作的意味論が与えられている。1990年に初版が出版され、1997年に単純化された改版が出版されている。","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}