A transformation-based optimiser for Haskell (1998)

by Simon L. Peyton Jones, André L.M. Santos
Venue:SCIENCE OF COMPUTER PROGRAMMING