A lightweight approach to datatype−generic rewriting
Thomas van Noort‚ Alexey Rodriguez Yakushev‚ Stefan Holdermans‚ Johan Jeuring‚ Bastiaan Heeren and José Pedro Magalhães
Journal
Journal of Functional Programming
Number
Special Issue 3−4
Pages
375−413
Volume
20
Year
2010