Effective interactive proofs for higher-order imperative programs.

Adam Chlipala J. Gregory Malecha Greg Morrisett Avraham Shinnar Ryan Wisnesky

Published in: ICFP (2009)

Keyphrases

higher order
imperative programs
natural images
pairwise
machine learning
high level
expert systems