Incremental type-checking for type-reflective metaprograms.

Weiyu Miao Jeremy G. Siek

Published in: GPCE (2010)

Keyphrases

type checking
data types
database query languages
query processor
abstract data types
relational calculus
database
databases
expressive power
distributed databases
complex objects