A Lightweight Approach to Datatype−generic Rewriting
Thomas van Noort‚ Alexey Rodriguez Yakushev‚ Stefan Holdermans‚ Johan Jeuring‚ Bastiaan Heeren and José Pedro Magalhães
Institution
Department of Information and Computing Sciences‚ Utrecht University
Number
UU−CS−2010−008
Year
2010