Lightweight Higher-Order Rewriting in Haskell
Paper i proceeding, 2016
pattern unification
higher-order rewriting
EDSL
Författare
Emil Axelsson
Chalmers, Data- och informationsteknik, Programvaruteknik
Andrea Vezzosi
Chalmers, Data- och informationsteknik, Datavetenskap
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,
Styrkeområden
Informations- och kommunikationsteknik
Ämneskategorier
Programvaruteknik
Datavetenskap (datalogi)
DOI
10.1007/978-3-319-39110-6_1