A Lightweight Approach to Datatype−generic Rewriting (Department of Information and Computing Sciences‚ Utrecht University, 2010)

(untitled) - van Noort, T; Yakushev, A; Holdermans, S; Jeuring, J; Heeren, B; aes, J