[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.<br><br><div>

 [nacl-ocaml] <a href="http://code.google.com/p/nacl-ocaml/">http://code.google.com/p/nacl-ocaml/</a></div><div> [Google Native Client] <a href="http://code.google.com/p/nativeclient/">http://code.google.com/p/nativeclient/</a></div>

<meta http-equiv="content-type" content="text/html; charset=utf-8"><div><div class="gmail_quote"><br></div></div>