For those looking for alternatives to an Oracle implementation of this concept there is http://www.ffconsultancy.com/ocaml/hlvm/ Which uses LLVM underneath.

Caveat: I've not used HLVM or looked at its implementation, but the scope seems very similar.