Registered user since Sun 20 May 2018

Name: John Wiegley

All Activities

• Author of Using Coq to Write Fast and Correct Haskell within the Haskell 2017-track in Haskell 2017
• Author of Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code (Experience Report) within the Research Papers-track in ICFP 2018