Some definitions for algebraic data type specifications.

Published in: ACM SIGPLAN Notices (1979)

Keyphrases

metadata
data types
data model
data structure
database management systems
database systems
databases
data formats
user defined
delay insensitive
abstract data types
database
machine learning
database server
formal specification
high level
data mining algorithms
management system
real world
object oriented databases