Login / Signup
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report).
Joachim Breitner
Antal Spector-Zabusky
Yao Li
Christine Rizkallah
John Wiegley
Stephanie Weirich
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
real world
wide range
databases
synthetic data
computer vision
initial set
learning algorithm
data mining
artificial intelligence
high level
database systems
bayesian networks
machine learning
real life
probabilistic model
input data
hierarchical structure
real time