Extensional equivalence and singleton types.

Christopher A. Stone Robert Harper

Published in: ACM Trans. Comput. Log. (2006)

Keyphrases

real time
data sets
probabilistic model
databases
image processing
decision trees
preprocessing
information technology
probability distribution
input output
partial order