Modular typechecking for hierarchically extensible datatypes and functions.

Todd D. Millstein Colin Bleckner Craig Chambers

Published in: ICFP (2002)

Keyphrases

data types
data model
data structure
user defined
database management systems
basis functions
abstract data types
database systems
information systems
object types
database
information retrieval
mobile robot
similarity measure
learning algorithm
regular expressions
application specific
data mining
neural network