Stratified type inference for generalized algebraic data types.

François Pottier Yann Régis-Gianas

Published in: POPL (2006)

Keyphrases

data types
type checking
data structure
database management systems
database systems
data model
user defined
data mining algorithms
data manipulation language
database server
abstract data types
microsoft sql server
databases
query language
database objects
multi dimensional
back end
real world