A lightweight approach to datatype−generic rewriting

Bibliographic Details
Main Authors: van Noort, T, Yakushev, A, Holdermans, S, Jeuring, J, Heeren, B, aes, J
Format: Journal article
Published: 2010