Type Checking with Universes.

Robert Harper Robert Pollack

Published in: Theor. Comput. Sci. (1991)

Keyphrases

type checking
data types
query processor
database query languages
abstract data types
object model
data analysis
knowledge representation
software engineering
general purpose
expressive power
complex objects
database queries
relational calculus