A Lightweight Approach to Datatype-Generic Rewriting

Cached

Download Links

by Thomas Noort , Alexey Rodriguez , Stefan Holdermans , Johan Jeuring , Bastiaan Heeren