Login / Signup
Type safety of rewrite rules in dependent types.
Frédéric Blanqui
Published in:
CoRR (2020)
Keyphrases
</>
rewrite rules
transformation rules
databases
rewriting rules
data structure