Productive coprogramming with guarded recursion.

Robert Atkey Conor McBride

Published in: ICFP (2013)

Keyphrases

fixed point
collaborative learning
deductive databases
complex objects
query answering
probabilistic databases
transitive closure
datalog programs
video sequences
special case
tree decompositions
data sets
neural network
learning algorithm
search algorithm