Type Isomorphisms in a Type-Assignment Framework.

Roberto Di Cosmo

Published in: POPL (1992)

Keyphrases

information systems
neural network
data mining
machine learning
information retrieval
semi supervised
main contribution
bayesian framework
multiple types
strongly typed