Static type checking without downcast operator.

Published in: Inf. Process. Lett. (2022)

Keyphrases

type checking
data types
query processor
database query languages
data model
object model
abstract data types
database
query processing
data warehouse
programming language