Using camlp4 for presenting dynamic mathematics on the web

DOI10.1145/2034773.2034809MaRDI QIDQ5176980zbMATH OpenOpenAlexFDO

Authors Alexis Darrasse, Frédéric Chyzak

Publication date 5 March 2015

Published in Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2034773.2034809

zbMATH Keywords

antiquotationsmathematical encyclopediasmetaprogrammingquotationsweb services

Mathematics Subject Classification ID

Internet topics (68M11) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• A web interface for Isabelle: the next generation
• A web-based toolkit for mathematical word processing applications with semantics
• scientific article; zbMATH DE number 1234411
• DynGenPar -- a dynamic generalized parser for common mathematical language
• MathLang: experience-driven development of a new mathematical language
• The LaTeXML daemon: editable math on the collaborative web
• Integrating Web Services into Active Mathematical Documents
• scientific article; zbMATH DE number 1860744

Cited in

(1)

• DynaMoW

Describes a project that uses

Uses Software

• OCaml
• OEIS
• Camlp4

This page was built for publication: Using camlp4 for presenting dynamic mathematics on the web

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176980)