ML (programming language): Difference between revisions

Content deleted Content added
m ce
m Grammar
Line 127:
* [[Lazy ML]]: an experimental lazily evaluated ML dialect from the early 1980s
* [[PAL (programming language)]]: an educational language related to ML
* [[OCaml]]: an ML dialect used to implement [[Coq (software)|Coq]] and [[OCaml#Software written in OCaml|various softwaressoftware]]
* [[F Sharp (programming language)|F#]]: an open-source cross-platform functional-first language for the [[.NET]] framework