Type Inference for Guarded Recursive Data Types

Peter J. Stuckey Martin Sulzmann

Published in: CoRR (2005)

Keyphrases

data types
type checking
database systems
data structure
data model
database management systems
user defined
back end
database server
abstract data types
microsoft sql server
spatiotemporal data
databases
data formats
database objects
query answering
data management
management system