Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web

Authors:
Frédéric Chyzak;Alexis Darrasse
Affiliations:
INRIA, Rocquencourt, France;LIP6, Paris, France
Venue:
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Year:
2011

Citing 2
Cited 0

Experience report: ocsigen, a web programming framework

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
The dynamic dictionary of mathematical functions (DDMF)

ICMS'10 Proceedings of the Third international congress conference on Mathematical software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report on the design and implementation of a programming tool, DynaMoW, to control interactive and incremental mathematical calculations to be presented on the web. This tool is implemented as a language extension of OCaml using Camlp4. Fragments of mathematical code written for a computer-algebra system as well as fragments of mathematical web documents are embedded directly and naturally inside OCaml code. A DynaMoW-based application is made of independent web services, whose parameter types are checked by the OCaml extension. The approach is illustrated by two implementations of online mathematical encyclopedias on top of DynaMoW.