Bidirectional type checking for relational properties.

Ezgi Çiçek Weihao Qu Gilles Barthe Marco Gaboardi Deepak 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