A transformation-based optimiser for Haskell (1998)

by Simon L. Peyton Jones, André L M Santos