A Haskell Library for Term Rewriting
1st Workshop on Haskell and Rewriting Techniques (HART), (2013).
Abstract
- Martin AVANZINI, PhD
- Researcher (CR), team OLAS
- Centre Inria d’Université Côte d’Azur
- Building Fermat, F125
- 2004, Route des Lucioles - BP 93
- 06902 Sophia Antipolis Cedex, France
-
(λx.martin.avanzinixinria.fr) @ - +33 4 97 15 53 34