Term Rewriting with Type-safe Traversal Functions

Authors
Publication date 2002
Host editors
  • B. Gramlich
  • S. Lucas
Book title Second International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2002)
Volume | Issue number 70
Publisher Elsevier Science Publishers
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type Conference contribution
Permalink to this page
Back