O'browser

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

O'browser: objective caml on browsers

Full text

Pdf (789 KB)

Source

International Conference on Functional Programming archive
Proceedings of the 2008 ACM SIGPLAN workshop on ML table of contents

Victoria, BC, Canada

SESSION: Session 3 table of contents

Pages 69-78

Year of Publication: 2008

ISBN:978-1-60558-062-3

Authors

Benjamin Canou	Université Pierre et Marie Curie - Paris 6 and Université Paris Diderot - Paris 7,, Paris, France
Vincent Balat	Université Paris Diderot - Paris 7, Paris, France
Emmanuel Chailloux	Université Pierre et Marie Curie - Paris 6, Paris, France

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages
ACM: Association for Computing Machinery

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 10, Downloads (12 Months): 73, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1411304.1411315 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Vincent Balat. Eliom's tutorial. Technical report, Laboratoire PPS, CNRS, université Paris-Diderot, 2007. URL http://ocsigen.org/eliom.
	2	Vincent Balat, Ocsigen: typing web interaction with objective Caml, Proceedings of the 2006 workshop on ML, September 16-16, 2006, Portland, Oregon, USA [doi>10.1145/1159876.1159889]
	3	Nick Benton , Andrew Kennedy, Interlanguage working without tears: blending SML with Java, Proceedings of the fourth ACM SIGPLAN international conference on Functional programming, p.126-137, September 27-29, 1999, Paris, France
	4	Nick Benton , Andrew Kennedy , George Russell, Compiling standard ML to Java bytecodes, Proceedings of the third ACM SIGPLAN international conference on Functional programming, p.129-140, September 26-29, 1998, Baltimore, Maryland, United States
	5	Véronique Benzaken , Giuseppe Castagna , Alain Frisch, CDuce: an XML-centric general-purpose language, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, p.51-63, August 25-29, 2003, Uppsala, Sweden
	6	Emmanuel Chailloux, Grégoire Henry, and Raphael Montelatici. Mixing the Objective Caml and C# programming models in the .net framework. In Multiparadigm Programming with OO Languages (MPOOL'04), June 2004.
	7	Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. Links: Web Programming Without Tiers. In 5th International Symposium on Formal Methods for Components and Objects, November 2006.
	8	David Flanagan , Paula Ferguson, JavaScript: The Definitive Guide, O'Reilly & Associates, Inc., Sebastopol, CA, 1998
	9	Alain Frisch, OCaml + XDuce, Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, September 16-21, 2006, Portland, Oregon, USA
	10	Grégoire Henry, Michel Mauny, and Emmanuel Chailloux. Typer la dé-sérialisation sans sérialiser les types. Technique et Science Informatiques, 1067--1090, November 2007.
	11	Haruo Hosoya , Benjamin C. Pierce, XDuce: A statically typed XML processing language, ACM Transactions on Internet Technology (TOIT), v.3 n.2, p.117-148, May 2003 [doi>10.1145/767193.767195]
	12	Xavier Leroy and Jean-Vincent Loddo. Functional programming for the web, Apr 2003. Hyperlearning - Project proposal for the 6th framework program of the European Union, http://www-lipn.univ-paris13.fr/loddo/funding/projet-hyper-learning.pdf.
	13	François Rouaix , Xavier Leroy, Security properties of typed applets, Secure Internet programming: security issues for mobile and distributed objects, Springer-Verlag, London, 2001
	14	Xavier Leroy, Didier Rémy with Damien Doligez, Jacques Garrigue, and Jérôme Vouillon. The objective caml system release 3.10 documentation and user's manual. Technical report, Inria, may 2007.
	15	Raphael Montelatici, Emmanuel Chailloux, and Bruno Pagano. Objective caml on .net: The ocamil compiler and toplevel. In 3rd International Conference on .NET Technologies, May 2005.
	16	Nick Benton , Andrew Kennedy , Claudio V. Russo, Adventures in interoperability: the SML.NET experience, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.215-226, August 24-26, 2004, Verona, Italy [doi>10.1145/1013963.1013987]
	17	P. H. Hartel, M. Feeley et al. Benchmarking implementations of functional languages with "Pseudoknot", a float-intensive benchmark. Journal of Functional Programming, 1996.
	18	François Rouaix, A Web navigator with applets in Caml, Computer Networks and ISDN Systems, v.28 n.7-11, p.1365-1371, May 1996
	19	Manuel Serrano, Programming web multimedia applications with hop, Proceedings of the 15th international conference on Multimedia, September 25-29, 2007, Augsburg, Germany [doi>10.1145/1291233.1291450]