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: Report
Published: Department of Information and Computing Sciences‚ Utrecht University 2010

Similar Items