Verified Extraction from Coq to OCaml.

Yannick Forster Matthieu Sozeau Nicolas Tabareau

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

information extraction
information systems
automatic extraction
formal methods
data sets
bayesian networks
learning environment
pattern recognition
digital libraries
automatically extracting