The only paper that comes to my mind is Wadler's "Theorems for free". It's an old one and not exactly about rewrite rules, but it may be a good starting point.
Janek _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
