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

Frédéric Chyzak 1 Alexis Darrasse 2
1 ALGORITHMS - Algorithms
Inria Paris-Rocquencourt
2 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00640584
Contributor : Alexis Darrasse <>
Submitted on : Thursday, January 31, 2013 - 11:14:58 AM
Last modification on : Thursday, March 21, 2019 - 2:41:14 PM
Long-term archiving on : Wednesday, May 1, 2013 - 2:25:09 AM

File

icfp079er-chyzak.pdf
Publisher files allowed on an open archive

Identifiers

Citation

Frédéric Chyzak, Alexis Darrasse. 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. ICFP 2011 - 16th ACM SIGPLAN International Conference on Functional Programming, Sep 2011, Tokyo, Japan. pp.259-265, ⟨10.1145/2034773.2034809⟩. ⟨hal-00640584⟩

Share

Metrics

Record views

628

Files downloads

327