Login / Signup
An Approach to Compile-Time Type Checking.
Peter Henderson
Published in:
IFIP Congress (1977)
Keyphrases
</>
type checking
data types
database query languages
query processor
integrity constraints
relational calculus
abstract data types
object model
databases
query language
data structure
knowledge representation