Subtyping Recursive Types.

Roberto M. Amadio Luca Cardelli

Published in: ACM Trans. Program. Lang. Syst. (1993)

Keyphrases

data sets
decision making
recursive algorithm
data mining
similarity measure
multiscale
learning environment
lower bound
hidden markov models
management system