Camlp4

swMATH17461MaRDI QIDQ29319FDOQ29319

Author name not available (Why is that?)

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

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

Cited In (9)

• Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code
• A proof dedicated meta-language
• Title not available (Why is that?)
• Pattern matching for the masses using custom notations
• myPatterns
• DynaMoW
• VMlambda
• Using camlp4 for presenting dynamic mathematics on the web
• PADS

This page was built for software: Camlp4