Login / Signup
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.
Joachim Breitner
Antal Spector-Zabusky
Yao Li
Christine Rizkallah
John Wiegley
Stephanie Weirich
Published in:
CoRR (2018)
Keyphrases
</>
real world
synthetic data
database
wide range
small number
data mining
machine learning
genetic algorithm
multi agent
real life
source code