Sökning: onr:"swepub:oai:research.chalmers.se:e9e30bb2-4b56-44f9-819e-0cfc543a15fb" > Lightweight Higher-...
Fältnamn | Indikatorer | Metadata |
---|---|---|
000 | 02440naa a2200349 4500 | |
001 | oai:research.chalmers.se:e9e30bb2-4b56-44f9-819e-0cfc543a15fb | |
003 | SwePub | |
008 | 171007s2016 | |||||||||||000 ||eng| | |
024 | 7 | a https://research.chalmers.se/publication/2258342 URI |
024 | 7 | a https://doi.org/10.1007/978-3-319-39110-6_12 DOI |
040 | a (SwePub)cth | |
041 | a engb eng | |
042 | 9 SwePub | |
072 | 7 | a kon2 swepub-publicationtype |
072 | 7 | a ref2 swepub-contenttype |
100 | 1 | a Axelsson, Emil,d 1978u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)emax |
245 | 1 0 | a Lightweight Higher-Order Rewriting in Haskell |
264 | c 2016-05-12 | |
264 | 1 | a Cham :b Springer International Publishing,c 2016 |
520 | a 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. | |
650 | 7 | a NATURVETENSKAPx Data- och informationsvetenskapx Programvaruteknik0 (SwePub)102052 hsv//swe |
650 | 7 | a NATURAL SCIENCESx Computer and Information Sciencesx Software Engineering0 (SwePub)102052 hsv//eng |
650 | 7 | a NATURVETENSKAPx Data- och informationsvetenskapx Datavetenskap0 (SwePub)102012 hsv//swe |
650 | 7 | a NATURAL SCIENCESx Computer and Information Sciencesx Computer Sciences0 (SwePub)102012 hsv//eng |
653 | a pattern unification | |
653 | a higher-order rewriting | |
653 | a EDSL | |
700 | 1 | a Vezzosi, Andrea,d 1986u Chalmers tekniska högskola,Chalmers University of Technology4 aut0 (Swepub:cth)vezzosi |
710 | 2 | a Chalmers tekniska högskola4 org |
773 | 0 | t Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)d Cham : Springer International Publishingg 9547, s. 1-21q 9547<1-21x 1611-3349x 0302-9743 |
856 | 4 8 | u https://research.chalmers.se/publication/225834 |
856 | 4 8 | u https://doi.org/10.1007/978-3-319-39110-6_1 |
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
Kopiera och spara länken för att återkomma till aktuell vy