Using Dependent Types to Express Modular Structure.

David B. MacQueen

Published in: POPL (1986)

Keyphrases

modular structure
databases
artificial intelligence
multiresolution
data sets
feature selection
bayesian networks
multi agent
optimal solution
explanatory power