skip to main content
research-article

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

Published:19 September 2011Publication History
Skip Abstract Section

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.

Skip Supplemental Material Section

Supplemental Material

_talk11.mp4

References

  1. M. Abramowitz and I. A. Stegun, editors. Handbook of mathematical functions. Dover, New York, 1992.Google ScholarGoogle Scholar
  2. V. Balat, J. Vouillon, and B. Yakobowski. Experience report: Ocsigen, a web programming framework. In A. Tolmach, editor, ICFP'09, pages 311--315, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. A. Benoit, F. Chyzak, A. Darrasse, S. Gerhold, M. Mezzarobba, and B. Salvy. The Dynamic Dictionary of Mathematical Functions (DDMF). In The Third International Congress on Mathematical Software (ICMS 2010), volume 6327 of Lecture Notes in Computer Science, pages 35--41, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. M. Mauny and D. de Rauglaudre. A complete and realistic implementation of quotations for ML. In Proc. of the Workshop on ML and its applications, 1994.Google ScholarGoogle Scholar
  5. N. J. A. Sloane and S. Plouffe. The Encyclopedia of Integer Sequences. Academic Press, 1995.Google ScholarGoogle Scholar

Index Terms

  1. 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

          Recommendations

          Comments

          Login options

          Check if you have access through your login credentials or your institution to get full access on this article.

          Sign in

          Full Access

          • Published in

            cover image ACM SIGPLAN Notices
            ACM SIGPLAN Notices  Volume 46, Issue 9
            ICFP '11
            September 2011
            456 pages
            ISSN:0362-1340
            EISSN:1558-1160
            DOI:10.1145/2034574
            Issue’s Table of Contents
            • cover image ACM Conferences
              ICFP '11: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
              September 2011
              470 pages
              ISBN:9781450308656
              DOI:10.1145/2034773

            Copyright © 2011 ACM

            Publisher

            Association for Computing Machinery

            New York, NY, United States

            Publication History

            • Published: 19 September 2011

            Check for updates

            Qualifiers

            • research-article
          • Article Metrics

            • Downloads (Last 12 months)1
            • Downloads (Last 6 weeks)1

            Other Metrics

          PDF Format

          View or Download as a PDF file.

          PDF

          eReader

          View online with eReader.

          eReader
          About Cookies On This Site

          We use cookies to ensure that we give you the best experience on our website.

          Learn more

          Got it!