Andrew Farmer, Neil Sculthorpe, Andy Gill. Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. In Ben Lippmeier, editor, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015. pages 23-34, ACM, 2015. [doi]
Abstract is missing.