## MLton 20241230+git20251029+dfsg-5

# IntermediateLanguage

MLton uses a number of intermediate languages in translating from the input source program to low-level code. Here is a list in the order which they are translated to.

- AST. Pretty close to the source.

- CoreML. Explicitly typed, no module constructs.

- XML. Polymorphic, HigherOrder.

- SXML. SimplyTyped, HigherOrder.

- SSA. SimplyTyped, FirstOrder.

- SSA2. SimplyTyped, FirstOrder.

- RSSA. Explicit data representations.

- Machine. Untyped abstract machine.