O'browser: objective caml on browsers

Authors:
Benjamin Canou;Vincent Balat;Emmanuel Chailloux
Affiliations:
Université Pierre et Marie Curie - Paris 6 and Université Paris Diderot - Paris 7,, Paris, France;Université Paris Diderot - Paris 7, Paris, France;Université Pierre et Marie Curie - Paris 6, Paris, France
Venue:
Proceedings of the 2008 ACM SIGPLAN workshop on ML
Year:
2008

Citing 11
Cited 5

A Web navigator with applets in Caml

Proceedings of the fifth international World Wide Web conference on Computer networks and ISDN systems
Compiling standard ML to Java bytecodes

ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Interlanguage working without tears: blending SML with Java

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
JavaScript: The Definitive Guide

JavaScript: The Definitive Guide
XDuce: A statically typed XML processing language

ACM Transactions on Internet Technology (TOIT)
CDuce: an XML-centric general-purpose language

ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Adventures in interoperability: the SML.NET experience

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
OCaml + XDuce

Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Ocsigen: typing web interaction with objective Caml

Proceedings of the 2006 workshop on ML
Programming web multimedia applications with hop

Proceedings of the 15th international conference on Multimedia
Links: web programming without tiers

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects

Experience report: ocsigen, a web programming framework

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Using functional programming within an industrial product group: perspectives and perceptions

Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Non-Intrusive Structural Coverage for Objective Caml

Electronic Notes in Theoretical Computer Science (ENTCS)
Language-independent sandboxing of just-in-time compilation and self-modifying code

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
SMLtoJs: hosting a standard ML compiler in a web browser

Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.