LLVM (Low Level Virtual Machine) is an abstract machine, optimizer, and code generator. It might make a nice backend for MLton, and there has been some discussion about this on the MLton list.

http://mlton.org/pipermail/mlton/2005-November/028263.html

The latest is that LLVM's gcc variant has been used in place of gcc, and so there has been no work toward changing MLton to target LLVM's IL directly.

http://mlton.org/pipermail/mlton/2006-August/029021.html

Also see

• CMinusMinus