A Haskell Library for Term Rewriting
Programming Languages
2013-07-10 v1
Abstract
We present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by the increasing number of term rewriting tools that are written in Haskell.
Cite
@article{arxiv.1307.2328,
title = {A Haskell Library for Term Rewriting},
author = {Bertram Felgenhauer and Martin Avanzini and Christian Sternagel},
journal= {arXiv preprint arXiv:1307.2328},
year = {2013}
}
Comments
1st International Workshop on Haskell And Rewriting Techniques, HART 2013, 6 pages