How to make ad hoc proof automation less ad hoc.

Georges Gonthier Beta Ziliani Aleksandar Nanevski Derek Dreyer

Published in: ICFP (2011)

Keyphrases

real world
information technology
knowledge base
image processing
data streams
preprocessing
hidden markov models
inference rules
linear logic