TY  - RPRT
TI  - Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code
AU  - Joachim Breitner
AU  - Antal Spector-Zabusky
AU  - Yao Li
AU  - Christine Rizkallah
AU  - John Wiegley
AU  - Stephanie Weirich
PY  - 2018
UR  - https://arxiv.org/abs/1803.06960
ID  - 1803.06960
ER  -