1. Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. (26th February 2021) Authors: BREITNER, JOACHIM; SPECTOR-ZABUSKY, ANTAL; LI, YAO; RIZKALLAH, CHRISTINE; WIEGLEY, JOHN; COHEN, JOSHUA; WEIRICH, STEPHANIE Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗