Generic record combinators with static type checking.

Wolfgang Jeltsch

Published in: PPDP (2010)

Keyphrases

type checking
data types
database query languages
query processor
database
abstract data types
relational calculus
relational algebra
query processing
nearest neighbor
object model