Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs.

Andrew Farmer, Neil Sculthorpe, Andy Gill

Browse the full HASKELL paper archive.