差分
ナビゲーションに移動
検索に移動
ロビン・ミルナーがM[[ロビン・ミルナー]]がM&M型理論に基づく言語MLを考案する。MLは形式的定義セマンティクスを持つSMLを生んだ。形式的セマンティクスのための形式的セマンティクスについて問われたためにミルナーは頭が爆発した。ML系のよく知られた他の言語には、OCaml、FM型理論に基づく[[言語]]「[[ML]]」を考案する。MLは形式的定義セマンティクスを持つSMLを生んだ。形式的セマンティクスのための形式的セマンティクスについて問われたためにミルナーは頭が爆発した。 ML系のよく知られた他の言語には、[[OCaml]]、[[F Sharp|F#、Visual Basicがある。]]、[[Visual Basic]]がある。
== 1973 ==
== 1980 ==
