Practical Inference for Type-Based Termination in a Polymorphic Setting.

Gilles Barthe Benjamin Grégoire Fernando Pastawski

Published in: TLCA (2005)

Keyphrases

type checking
databases
belief networks
data types
object oriented
bayesian networks
artificial intelligence
machine learning
knowledge base
lower bound
pairwise
special case
information retrieval
bayesian inference
inference mechanism
query processor
data sets