The journal
Open the journal →The conversation starts in the journal — be the first to post.
About ML
ML is the metalanguage developed for the Edinburgh LCF theorem prover in the 1970s. It is an early statically typed, functional language with polymorphic type inference in the Hindley–Milner style, and other features like exceptions and mutable variables. ML's design in LCF directly inspired the later ML family and influenced subsequent functional language development.
Everything about ML →- Inception
- 1973