3 июл 1973 г. - Робин Милнер пишет МЛ, язык на основе теории типов M&M.

Описание:

МЛ порождает СМЛ, обладающий формально описанной семантикой. В число языков семейства МЛ входят OCaml, F# и Visual Basic.

Добавлено на ленту времени:

Дата: