Principality and Decidable Type Inference for Finite-Rank Intersection Types.

A. J. Kfoury J. B. Wells

Published in: POPL (1999)

Keyphrases

multiple types
bayesian networks
database
databases
probabilistic inference
bayesian inference
function symbols
learning algorithm
artificial intelligence
search algorithm
probability distribution
logic programs
first order logic
fixed order