A Framework for Polytypic Programming on Terms, With an Application to Rewriting

Cached

Download Links

by Patrik Jansson Computing , Patrik Jansson , Johan Jeuring