Match compilation is the process of translating an SML match into a nested tree (or dag) of simple case expressions and tests.
MLton’s match compiler is described here.
BaudinetMacQueen85
Leroy90, pages 60-69.
Sestoft96
ScottRamsey00