Jones and André L.M.Santos:A transformation-based optimiser for Haskell ; submitted to Science of Computer Programming (1997)

by Simon L Peyton