Sign in
Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules.
Jesper Cockx
Published in:
TYPES (2019)
Keyphrases
</>
user defined
rewrite rules
data types
rewriting rules
query language
object oriented
query optimization
functional dependencies
consistency constraints
transformation rules
machine learning
sql queries