Principal Type Inference for GHC-Style Multi-parameter Type Classes.

Martin Sulzmann Tom Schrijvers Peter J. Stuckey

Published in: APLAS (2006)

Keyphrases

databases
bayesian networks
search engine
information systems
multiscale
expert systems
multi class