Login / Signup
Type checking through unification.
Francesco Mazzoli
Andreas Abel
Published in:
CoRR (2016)
Keyphrases
</>
type checking
data types
database query languages
query processor
abstract data types
relational calculus
object model
data model
spatio temporal
general purpose
programming language
database management systems