Using camlp4 for presenting dynamic mathematics on the web

DOI10.1145/2034773.2034809zbMath1323.68545OpenAlexW4240968632MaRDI QIDQ5176980

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

web servicesmetaprogrammingquotationsantiquotationsmathematical encyclopedias

Mathematics Subject Classification ID

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

Related Items (1)

DynaMoW

Uses Software

• OCaml
• OEIS
• Camlp4

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