Huiqing Li Claus Reinke Simon Thompson Computing Lab, University of Kent Refactoring Functional Programs.
Refactoring Functional Programs