Lightweight Higher-Order Rewriting in Haskell
Other conference contribution, 2015
EDSL
higher-order rewriting
pattern unification
Author
Emil Axelsson
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Andrea Vezzosi
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Trends in Functional Programming
Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
Computer Science