Search: onr:"swepub:oai:research.chalmers.se:1626c191-e3ef-45af-aee4-513d36e57392" >
Using Circular Prog...
Using Circular Programs for Higher-Order Syntax Functional pearl
-
- Axelsson, Emil, 1978 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lindström Claessen, Koen, 1975 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2013-09-25
- 2013
- English.
-
In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). - : Association for Computing Machinery (ACM). - 0730-8566 .- 0362-1340 .- 1558-1160. ; 48:9, s. 257-262
- Related links:
-
http://dx.doi.org/10...
-
show more...
-
https://research.cha...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- This pearl presents a novel technique for constructing a first-order syntax tree directly from a higher-order interface. We exploit circular programming to generate names for new variables, resulting in a simple yet efficient method. Our motivating application is the design of embedded languages supporting variable binding, where it is convenient to use higher-order syntax when constructing programs, but first-order syntax when processing or transforming programs.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- embedded languages
- circular programming
- higher-order syntax
Publication and Content Type
- art (subject category)
- ref (subject category)
Find in a library
To the university's database