History

Early 1970s: Design and implementation of ML by Milner, Morris, and Wadsworth at the Univ. of Edinburgh, Scotland.

ML: Metalanguage of the Edinburgh LCF system.

LCF = Logic for Computable Functions

Gordon, Michael, Robin Milner, and Christopher Wadsworth. "Edinburgh LCF: A Mechanized Logic of Computation," Lecture Notes in Computer Science,

Vol.78, Springer-Verlag, NY, 1979.

Mid 1980s: Standardization of ML.

Previous slide

Next slide

Back to first slide

View graphic version