Camlp4

swMATH17461MaRDI QIDQ29319FDOQ29319

Author name not available (Why is that?)

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

Cited In (5)

• 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
• Using camlp4 for presenting dynamic mathematics on the web

This page was built for software: Camlp4