Toggle navigation
Sign in
Sign up
conf.researchr.org
/
John Wiegley
conf.researchr.org general profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
Registered user since Sun 20 May 2018
Name:
John Wiegley
Contributions
Haskell 2019
Committee Member in Program Committee within the Haskell 2019-track
ICFP 2018
Author of Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) within the Research Papers-track
Haskell 2017
Author of Using Coq to Write Fast and Correct Haskell within the Haskell 2017-track
Share
x
Tue 19 Feb 08:58