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

DSpace/Manakin Repository

Jansson, P.; Jeuring, J.T.

(2000) Proceedings Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal

(Article in proceedings)

Download/Full Text

See more statistics about this item