Login / Signup

A correspondence between type checking via reduction and type checking via evaluation.

Ilya SergeyDave Clarke
Published in: Inf. Process. Lett. (2012)
Keyphrases
  • type checking
  • data types
  • query processor
  • database query languages
  • abstract data types
  • relational calculus
  • object model
  • database systems
  • query processing
  • general purpose
  • multi dimensional