4 ms·
One thing Standard ML has that the others don't is a full formal specification, in terms of typing rules and operational semantics.
by wtetzner 5y ago
One thing Standard ML has that the others don't is a full formal specification, in terms of typing rules and operational semantics.