Login / Signup

A Delta for Hybrid Type Checking.

Peter Thiemann
Published in: A List of Successes That Can Change the World (2016)
Keyphrases
  • type checking
  • data types
  • database query languages
  • query processor
  • abstract data types
  • relational calculus
  • database
  • d objects
  • general purpose
  • relational database systems