MLton

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