プログラミング言語ML

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

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

書籍紹介

資料リンク

リンク

プログラミング言語

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