Login / Signup
Type Checking and Inference for Polymorphic and Existential Types in Multiple-Quantifier and Type-Free Systems.
Koji Nakazawa
Makoto Tatsuta
Published in:
Chic. J. Theor. Comput. Sci. (2010)
Keyphrases
</>
type checking
data types
database query languages
object model
query processor
abstract data types
relational calculus
relational algebra
database
management system
multi dimensional