[Haskell-cafe] Inferring rewrite rules for higher order functions

Jan Stolarek 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 mailing list