Theorem proving for all: equational reasoning in liquid Haskell (functional pearl).

Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton

Browse the full HASKELL paper archive.