[nacl-ocaml], wich patches the ocaml compiler to produce native code
compatible with [Google Native Client] technology (verified native code for
sandboxed environments such as browsers) may also be relevant here.

 [nacl-ocaml] http://code.google.com/p/nacl-ocaml/
 [Google Native Client] http://code.google.com/p/nativeclient/