The Definition of Standard ML (Revised)

Robin Milner, M. T., Harper, R., & MacQueen, D. (1997). The Definition of Standard ML (Revised). MIT Press.

Type

Book

Intellectual base

Review or monograph

Year

1997

Link

https://smlfamily.github.io/sml97-defn.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Qualification Principle
  • C compound statements allow declarations and statements in one block, while Standard ML uses distinct `let ... in ... end` and `local ... in ... end` constructs with different result behavior.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:c6ccadd5c9c9 · see in the full table