Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe. The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. In Janis Voigtländer, editor, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. pages 1-12, ACM, 2012. [doi]
Abstract is missing.