Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)

Joachim Breitner, Antal Spector-Zabusky, Yao Li 0004, Christine Rizkallah, John Wiegley, Stephanie Weirich. Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report). Proceedings of the ACM on Programming Languages, 2(ICFP), 2018. [doi]

Abstract

Abstract is missing.