Type Checking and Inference for Polymorphic and Existential Types.

Koji Nakazawa Makoto Tatsuta

Published in: CATS (2009)

Keyphrases

type checking
data types
object model
database query languages
query processor
database
abstract data types
high level
database systems
data structure
preprocessing
relational calculus