Type Checking in an Imperfect World.

Terrence C. Miller

Published in: POPL (1979)

Keyphrases

type checking
data types
database query languages
query processor
abstract data types
relational calculus
databases
viewpoint
general purpose
object model