C-- is a portable assembly language intended to make it easy for compilers for different high-level languages to share the same backend. An experimental version of MLton has been made to generate C--.

http://mlton.org/pipermail/mlton/2005-March/026850.html

Also see

• LLVM