A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Using camlp4 for presenting dynamic mathematics on the web
2011
Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11
To cite this version: 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. Olivier Danvy. 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
doi:10.1145/2034773.2034809
dblp:conf/icfp/ChyzakD11
fatcat:cschb2wtnrbt7gskbqiwlbvvci