The following pages link to Camlp4 (Q29319):
Displaying 5 items.
- Pattern matching for the masses using custom notations (Q436385) (← links)
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- A proof dedicated meta-language (Q2844812) (← links)
- (Q4452128) (← links)
- Using camlp4 for presenting dynamic mathematics on the web (Q5176980) (← links)