Correctness of Monadic State: An Imperative Call-by-Need Calculus.

Zena M. Ariola Amr Sabry

Published in: POPL (1998)

Keyphrases

machine learning
learning algorithm
provably correct
artificial intelligence
computer vision
image sequences
reinforcement learning
multi agent
natural language
multi agent systems