[Haskell-cafe] Inferring rewrite rules for higher order functions
jan.stolarek at p.lodz.pl
Sun Jan 20 11:21:32 CET 2013
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.
More information about the Haskell-Cafe