Lightweight Higher-Order Rewriting in Haskell
Paper in proceeding, 2016
pattern unification
higher-order rewriting
EDSL
Author
Emil Axelsson
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Andrea Vezzosi
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9547 1-21Sophia Antipolis, France,
Areas of Advance
Information and Communication Technology
Subject Categories
Software Engineering
Computer Science
DOI
10.1007/978-3-319-39110-6_1