ML
E131757
UNEXPLORED
ML is a statically typed functional programming language developed at the University of Edinburgh, known for pioneering features like type inference, pattern matching, and modules that strongly influenced later languages such as Elm, Haskell, and OCaml.
Aliases (1)
Referenced by (4)
| Subject (surface form when different) | Predicate |
|---|---|
|
Elm
→
Haskell → |
influencedBy |
|
lambda calculus
→
|
influenced |
|
Robin Milner
("ML programming language")
→
|
knownFor |