Functional Pearl: Dependent type inference via free higher-order unification.

Nikolai Kudasov

Published in: CoRR (2022)

Keyphrases

higher order
natural images
high order
pairwise
bayesian inference
markov random field
bayesian networks
probabilistic inference
low order
bayesian model
belief revision
type checking
lower order
conditional random fields
causal models
knowledge representation
knuth bendix