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.

Match compilation in other compilers

• BaudinetMacqueen85

• Leroy90, pages 60-69.

• Scott00

• Sestoft96