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

Descripción:

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

Añadido al timeline:

fecha: