O'Browser : Objective Caml on browsers

Benjamin Canou (1, 2) , Vincent Balat (1) , Emmanuel Chailloux (2)

1 PPS - Preuves, Programmes et Systèmes
2 SPIRAL - Systèmes Polynomiaux, Implantation, Résolution Algébrique

We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve this, we designed a bytecode interpreter in JavaScript, as well as an implementation of the runtime library. Since the web browser does not provide the same interaction mechanisms as a typical Objective Caml environment, we provide an add-on to the standard library, enabling interaction with the web page. As a result, one can now build the client side of a web application with the standard Objective Caml compiler and run it on any modern web browser.

Mots clés: Virtual Machine; Web Browsers; Objective Caml; Document Object Model; JavaScript

Domaines: Langage de programmation [cs.PL]

Benjamin Canou, Vincent Balat, Emmanuel Chailloux. O'Browser : Objective Caml on browsers. The 2008 ACM SIGPLAN Workshop on ML, Sep 2008, Victoria BC, Canada. pp.69-78. ⟨hal-00327504⟩