3 ms·Standard ML certainly has clear specifications and proofs of soundness of the type system.by c-cube 5y agoStandard ML certainly has clear specifications and proofs of soundness of the type system.