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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings Second International Workshop on Reduction Strategies in Rewriting and Programming (Copenhagen, Denmark, July 21, 2002)
DOI's	https://doi.org/10.1016/S1571-0661(04)80602-9
Status	Gepubliceerd - 2002

Publicatie series

Naam	Electronic Notes in Theoretical Computer Science
Volume	70(6)
ISSN van geprinte versie	1571-0061

Toegang tot document

10.1016/S1571-0661(04)80602-9

Citeer dit

@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)).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -