Sign in
FUNCTIONAL PEARL. Proof-directed debugging - Corrigendum.
Robert Harper
Published in:
J. Funct. Program. (2009)
Keyphrases
</>
information systems
belief revision
belief change
functional language
databases
programming language
theorem prover
theorem proving
neural network
information retrieval
computer vision
decision trees
conditional independence
logical rules