WFRF:(Vezzosi Andrea 1986)
Search: WFRF:(Vezzosi Andrea 1986) > Lightweight Higher-...
- 6 of 14
- Previous record
- Next record
- To hitlist
- Axelsson, Emil,1978Chalmers tekniska högskola,Chalmers University of Technology (author)
Lightweight Higher-Order Rewriting in Haskell
- Article/chapterEnglish2016
Publisher, publication year, extent ...
- 2016-05-12
- Cham :Springer International Publishing,2016
Numbers
- LIBRIS-ID:oai:research.chalmers.se:e9e30bb2-4b56-44f9-819e-0cfc543a15fb
- https://research.chalmers.se/publication/225834URI
- https://doi.org/10.1007/978-3-319-39110-6_1DOI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- 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.
Subject headings and genre
- NATURVETENSKAP Data- och informationsvetenskap Programvaruteknik hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Software Engineering hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- pattern unification
- higher-order rewriting
- EDSL
Added entries (persons, corporate bodies, meetings, titles ...)
- Vezzosi, Andrea,1986Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)vezzosi (author)
- Chalmers tekniska högskola (creator_code:org_t)
Related titles
- In:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)Cham : Springer International Publishing9547, s. 1-211611-33490302-9743
Internet link
Find in a library
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artifici... (Search for host publication in LIBRIS)
To the university's database
- 6 of 14
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Axelsson, Emil, ...
- Vezzosi, Andrea, ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Software Enginee ...
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- Lecture Notes in ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
