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

Descrizione:

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

Aggiunto al nastro di tempo:

Data: