Camlp4

MaRDI QIDQ29319swMATHFDO

Official website https://github.com/ocaml/camlp4

Source code repository https://github.com/ocaml/camlp4

Cited in

(9)

• myPatterns
• DynaMoW
• A proof dedicated meta-language
• VMlambda
• PADS
• Pattern matching for the masses using custom notations
• scientific article; zbMATH DE number 2040979 (Why is no real title available?)
• Using camlp4 for presenting dynamic mathematics on the web
• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code

This page was built for software: Camlp4