Typed compilation of recursive datatypes.

Joseph Vanderwaart Derek Dreyer Leaf Petersen Karl Crary Robert Harper Perry Cheng

Published in: TLDI (2003)

Keyphrases

data types
database systems
data structure
data model
user defined
higher order
database management systems
lambda calculus
knowledge compilation
data mining algorithms
artificial neural networks
real time
database
decision making
information systems
genetic algorithm
data mining
databases
recursive algorithm