A framework for polytypic programming on terms, with an application to rewriting
Publication date
2000
Authors
Jansson, P.
Jeuring, J.T.
Editors
Advisors
Supervisors
DOI
Document Type
Article in proceedings
Metadata
Show full item recordCollections
