A Haskell Library for Term Rewriting
B. Felgenhauer and M. Avanzini and C. Sternagel
Proceedings of the 1th Workshop on Haskell and Rewriting Techniques, 2013.
Abstract
In this abstract present our Haskell library for rewriting, see also here.
Categories
Haskell, Implementation