クリエイターズネットワークWiki

プログラミング言語ML

2013年11月23日 (土) 22:44時点におけるOchaochaocha3 (トーク | 投稿記録)による版 (1版: コンピュータWikiの移植)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)

プログラミング言語ML ( ML programming language )

定理証明支援系を記述するために開発された関数型言語。MLとはMeta-Languageの略語である。

書籍紹介

資料リンク

リンク

「https://cre.wiki.cre.jp/w/index.php?title=プログラミング言語ML&oldid=1016」から取得