A coinductive monad for prop-bounded recursion.

Published in: PLPV (2007)

Keyphrases

deductive databases
databases
data mining
information systems
image processing
artificial neural networks
complex objects
asymptotically optimal
bounded treewidth