ML
開発者は
Robin Milner
定理証明系言語
の
Logic for Computable Functions
の推論規則を記述する言語として設計された
処理系
OCaml
Standard ML
https://www.hillelwayne.com/post/influential-dead-languages/#:~:text=History%20of%20CLU-,ML,-Background%3A%20Robin%20Milner
#プログラミング言語