Term rewriting with type-safe traversal functions

M.G.J. Brand, van den; P. Klint; J.J. Vinju

doi:10.1016/S1571-0661(04)80602-9

Term rewriting with type-safe traversal functions

M.G.J. Brand, van den, P. Klint, J.J. Vinju

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings Second International Workshop on Reduction Strategies in Rewriting and Programming (Copenhagen, Denmark, July 21, 2002)
DOIs	https://doi.org/10.1016/S1571-0661(04)80602-9
Publication status	Published - 2002

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	70(6)
ISSN (Print)	1571-0061

Access to Document

10.1016/S1571-0661(04)80602-9

Cite this

@inproceedings{533542444a304c63a4db5eeb77a898a8,

title = "Term rewriting with type-safe traversal functions",

author = "{Brand, van den}, M.G.J. and P. Klint and J.J. Vinju",

year = "2002",

doi = "10.1016/S1571-0661(04)80602-9",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

booktitle = "Proceedings Second International Workshop on Reduction Strategies in Rewriting and Programming (Copenhagen, Denmark, July 21, 2002)",

}

Term rewriting with type-safe traversal functions. / Brand, van den, M.G.J.; Klint, P.; Vinju, J.J.
Proceedings Second International Workshop on Reduction Strategies in Rewriting and Programming (Copenhagen, Denmark, July 21, 2002). 2002. (Electronic Notes in Theoretical Computer Science; Vol. 70(6)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Term rewriting with type-safe traversal functions

AU - Brand, van den, M.G.J.

AU - Klint, P.

AU - Vinju, J.J.

PY - 2002

Y1 - 2002

U2 - 10.1016/S1571-0661(04)80602-9

DO - 10.1016/S1571-0661(04)80602-9

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

BT - Proceedings Second International Workshop on Reduction Strategies in Rewriting and Programming (Copenhagen, Denmark, July 21, 2002)

ER -