Type-Checking in an Untyped Language.

Published in: Int. J. Man Mach. Stud. (1984)

Keyphrases

type checking
data types
database query languages
query processor
relational calculus
abstract data types
programming language
high level
natural language
expressive power
object oriented
user defined
object model