Type Checking, Universe Polymorphism, and Typical Ambiguity in the Calculus of Constructions (Draft).

Robert Harper Robert Pollack

Published in: TAPSOFT, Vol.2 (1989)

Keyphrases

type checking
database programming language
database query languages
data types
relational calculus
query processor
relational algebra
object model
abstract data types
data mining
query processing
general purpose
user defined
integrity constraints
transitive closure