Type checking with open type functions.

Tom Schrijvers Simon L. Peyton Jones Manuel M. T. Chakravarty Martin Sulzmann

Published in: ICFP (2008)

Keyphrases

type checking
database query languages
data types
relational calculus
query processor
expressive power
object model
abstract data types
relational algebra
data structure
response time
multi dimensional
user defined
data storage