Hybrid type checking.

Cormac Flanagan

Published in: POPL (2006)

Keyphrases

type checking
data types
database query languages
object model
relational calculus
database systems
data structure
management system
query processor