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