Lightweight Higher-Order Rewriting in Haskell
Paper i proceeding, 2016

We present a generic Haskell library for expressing rewrite rules with a safe treatment of variables and binders. Both sides of the rules are written as typed EDSL expressions, which leads to syntactically appealing rules and hides the underlying term representation. Matching is defined as an instance of Miller's higher-order pattern unification and has the same complexity as first-order matching. The restrictions of pattern unification are captured in the types of the library, and we show by example that the library is capable of expressing useful simplifications that might be used in a compiler.

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-21

16th International Symposium on Trends in Functional Programming, TFP 2015
Sophia Antipolis, France,

Styrkeområden

Informations- och kommunikationsteknik

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

DOI

10.1007/978-3-319-39110-6_1

Mer information

Senast uppdaterat

2019-11-12