Login / Signup

Declaration-Free Type Checking.

Prateek MishraUday S. Reddy
Published in: POPL (1985)
Keyphrases
  • type checking
  • data types
  • database query languages
  • object model
  • query processor
  • abstract data types
  • relational calculus