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
Joshua Cohen
Stephanie Weirich
Published in:
J. Funct. Program. (2021)
Keyphrases
</>
real world
wide range
data sets
machine learning
database
case study
source code
real time
neural network
information retrieval
computer vision
lower bound
probability distribution
knowledge representation
small number