List of Publications: Implementation
-
B. Felgenhauer and M. Avanzini and C. Sternagel. “A Haskell Library for Term Rewriting”. Proceedings of the 1th Workshop on Haskell and Rewriting Techniques, 2013.
B. Felgenhauer and M. Avanzini and C. Sternagel. “A Haskell Library for Term Rewriting”. Proceedings of the 1th Workshop on Haskell and Rewriting Techniques, 2013.