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