Standard ML
E230804
UNEXPLORED
Standard ML is a statically typed functional programming language with type inference and a formal semantics, widely used in programming language research and teaching.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Robin Milner
→
|
knownFor |