Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jeff Polakow
conf.researchr.org general profile
ICFP 2017 profile
Not registered as user
Name:
Jeff Polakow
Contributions
2017
Haskell
Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track
Share
x
Sat 21 Dec 19:16