Quadratic type checking for objective type theory.

Benno van den Berg Martijn den Besten

Published in: CoRR (2021)

Keyphrases

type checking
database query languages
data types
query processor
abstract data types
object model
relational calculus
viewpoint
object oriented
databases
data structure
query processing
knowledge discovery