conf.researchr.org / Jeff Polakow
Not registered as user yet
Name:Jeff Polakow
Contributions
| Haskell 2017 | Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track |
Not registered as user yet
Contributions
| Haskell 2017 | Author of A Tale of Two Provers: Verifying Monoidal String Matching in Liquid Haskell and Coq within the Haskell 2017-track |