A transformation-based optimiser for Haskell (1998)

by Simon Peyton Jones, André Santos
Venue:Science of Computer Programming