A framework for polytypic programming on terms, with an application to rewriting (2000)

Cached

Download Links

by Patrik Jansson , Johan Jeuring
Venue:Workshop on Generic Programming
Citations:14 - 8 self