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

by P Jansson, J Jeuring
Venue:Workshop on Generic Programming 2000, Ponte de