Login / Signup

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