Hybrid type checking.

Kenneth Knowles Cormac Flanagan

Published in: ACM Trans. Program. Lang. Syst. (2010)

Keyphrases

type checking
data types
query processor
databases
database query languages
database
object recognition