A lightweight approach to datatype-generic rewriting (2010)

by T van Noort, A Rodriguez Yakushev, S Holdermans, J Jeuring, B Heeren, J P Magalhães
Venue:Journal of Functional Programming