A lightweight approach to datatype-generic rewriting.

Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren

Browse the full ICFP paper archive.