Ghosts of departed proofs (functional pearl).

Published in: Haskell@ICFP (2018)

Keyphrases

conditional independence
theorem proving
information retrieval
image processing
evolutionary algorithm
belief revision
causal models
decision procedures
equational theories