Huiqing Li, Simon Thompson. Formalisation of Haskell refactorings. In Marko C. J. D. van Eekelen, editor, Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005. Volume 6 of Trends in Functional Programming, pages 95-110, Intellect, 2005.
Abstract is missing.