The Definition of Standard ML
E232891
UNEXPLORED
The Definition of Standard ML is the formal language specification that rigorously defines the syntax and semantics of the Standard ML functional programming language.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Robin Milner
→
|
notableWork |