A Haskell Library for Term Rewriting

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.

Manuscript BibTex

Categories

Haskell, Implementation