B.: A lightweight approach to datatype-generic rewriting (0)

by T van Noort, Rodriguez Yakushev, A Holdermans, S Jeuring, J Heeren
Venue:In: WGP