Playing by the rules: Rewriting as an optimization technique (2001)

by S Peyton Jones, A Tolmach, T Hoare
Venue:in GHC. In Haskell Workshop, Proceedings