Natural Transformations as Rewrite Rules and Monad Composition.

Published in: CoRR (2016)

Keyphrases

rewrite rules
rewriting rules
transformation rules
sql queries
consistency constraints
query optimization
database
relational databases
camera calibration