Static Type Checking for Languages with Parametric Types and Polymorphic Procedures.

Roberto Barbuti Alberto Martelli

Published in: Symposium on Programming (1980)

Keyphrases

type checking
database query languages
data types
query processor
object model
user defined
abstract data types
relational calculus
databases
database systems
expressive power