A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq.

Niki Vazou, Leonidas Lampropoulos, Jeff Polakow

Browse the full HASKELL paper archive.