conf.researchr.org / John Wiegley

Registered user since Sun 20 May 2018

Name: John Wiegley

Contributions

ICFP 2018Author of Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) within the Research Papers-track
Haskell 2017Author of Using Coq to Write Fast and Correct Haskell within the Haskell 2017-track