Type Inference for Bimorphic Recursion

Makoto Tatsuta Ferruccio Damiani

Published in: GandALF (2011)

Keyphrases

bayesian networks
complex objects
bayesian inference
databases
real world
image processing
optimal solution
pairwise
inference process
grammatical inference