generated at
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


#プログラミング言語