IntermediateLanguage - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | IntermediateLanguage |
Home Index

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 register transfer language.

Last edited on 2004-11-29 02:16:14 by MatthewFluet.