Sign in

Bidirectional type checking for relational properties.

Ezgi ÇiçekWeihao QuGilles BartheMarco GaboardiDeepak Garg
Published in: PLDI (2019)
Keyphrases
  • type checking
  • database query languages
  • relational calculus
  • databases
  • database systems
  • data model
  • programming language
  • object recognition
  • object oriented
  • relational data
  • complex objects