Type Checking in Polymorphic Languages.

Anthony J. Cowling

Published in: Comput. J. (1986)

Keyphrases

type checking
database query languages
data types
query processor
relational calculus
object model
expressive power
abstract data types
query processing
knowledge discovery