Definição formal da linguagem Standard ML revisada, com especificação precisa de sintaxe e semântica operacional.

A versão revisada expõe o sistema de tipos e as regras de inferência, incluindo tratamento de módulos e assinaturas.

Referência técnica para desenvolvedores, docentes e interessados em linguagens de programação; apresenta exemplos formais e detalhamento das escolhas de projeto.