Thinking about Type Checking.

David M. Beazley

Published in: login Usenix Mag. (2015)

Keyphrases

type checking
data types
query processor
database query languages
artificial intelligence
relational calculus
user defined
high level
general purpose
abstract data types
database
spatio temporal