Matches in SemOpenAlex for { <https://semopenalex.org/work/W2074694595> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2074694595 endingPage "140" @default.
- W2074694595 startingPage "115" @default.
- W2074694595 abstract "This paper introduces a variant of nominal abstract syntax in which bindable names are represented by normal meta-variables as opposed to a separate class of globally fresh names. Distinct meta-variables can be instantiated with the same concrete name, which we call aliasing. The possible aliasing patterns are controlled by explicit constraints on the distinctness (freshness) of names. This approach has already been used in the nominal meta-programming language αML. We recap that language and develop a theory of contextual equivalence for it. The central result of the paper is that abstract syntax trees (ASTs) involving binders can be encoded into αML in such a way that α-equivalence of ASTs corresponds with contextual equivalence of their encodings. This is novel because the encoding does not rely on the existence of globally fresh names and fresh name generation, which are fundamental to the correctness of the pre-existing encoding of abstract syntax into FreshML." @default.
- W2074694595 created "2016-06-24" @default.
- W2074694595 creator A5003454366 @default.
- W2074694595 creator A5035484728 @default.
- W2074694595 date "2011-03-02" @default.
- W2074694595 modified "2023-09-23" @default.
- W2074694595 title "Encoding Abstract Syntax Without Fresh Names" @default.
- W2074694595 cites W1512480360 @default.
- W2074694595 cites W1567525491 @default.
- W2074694595 cites W1594084984 @default.
- W2074694595 cites W1645062691 @default.
- W2074694595 cites W1814221162 @default.
- W2074694595 cites W1829244603 @default.
- W2074694595 cites W1973030866 @default.
- W2074694595 cites W1975082667 @default.
- W2074694595 cites W1993375565 @default.
- W2074694595 cites W1994736245 @default.
- W2074694595 cites W2037026294 @default.
- W2074694595 cites W2043815581 @default.
- W2074694595 cites W2059054133 @default.
- W2074694595 cites W2092367588 @default.
- W2074694595 cites W2128159126 @default.
- W2074694595 cites W2151716725 @default.
- W2074694595 cites W2168547990 @default.
- W2074694595 cites W2172176924 @default.
- W2074694595 cites W2568721247 @default.
- W2074694595 cites W2912255765 @default.
- W2074694595 cites W2913730763 @default.
- W2074694595 cites W3023993646 @default.
- W2074694595 cites W4252567017 @default.
- W2074694595 doi "https://doi.org/10.1007/s10817-011-9220-7" @default.
- W2074694595 hasPublicationYear "2011" @default.
- W2074694595 type Work @default.
- W2074694595 sameAs 2074694595 @default.
- W2074694595 citedByCount "3" @default.
- W2074694595 countsByYear W20746945952012 @default.
- W2074694595 countsByYear W20746945952013 @default.
- W2074694595 crossrefType "journal-article" @default.
- W2074694595 hasAuthorship W2074694595A5003454366 @default.
- W2074694595 hasAuthorship W2074694595A5035484728 @default.
- W2074694595 hasBestOaLocation W20746945952 @default.
- W2074694595 hasConcept C114408938 @default.
- W2074694595 hasConcept C11742125 @default.
- W2074694595 hasConcept C125411270 @default.
- W2074694595 hasConcept C138885662 @default.
- W2074694595 hasConcept C154945302 @default.
- W2074694595 hasConcept C199360897 @default.
- W2074694595 hasConcept C204321447 @default.
- W2074694595 hasConcept C2777212361 @default.
- W2074694595 hasConcept C2780069185 @default.
- W2074694595 hasConcept C41008148 @default.
- W2074694595 hasConcept C41895202 @default.
- W2074694595 hasConcept C55439883 @default.
- W2074694595 hasConcept C58646249 @default.
- W2074694595 hasConcept C60048249 @default.
- W2074694595 hasConcept C80444323 @default.
- W2074694595 hasConceptScore W2074694595C114408938 @default.
- W2074694595 hasConceptScore W2074694595C11742125 @default.
- W2074694595 hasConceptScore W2074694595C125411270 @default.
- W2074694595 hasConceptScore W2074694595C138885662 @default.
- W2074694595 hasConceptScore W2074694595C154945302 @default.
- W2074694595 hasConceptScore W2074694595C199360897 @default.
- W2074694595 hasConceptScore W2074694595C204321447 @default.
- W2074694595 hasConceptScore W2074694595C2777212361 @default.
- W2074694595 hasConceptScore W2074694595C2780069185 @default.
- W2074694595 hasConceptScore W2074694595C41008148 @default.
- W2074694595 hasConceptScore W2074694595C41895202 @default.
- W2074694595 hasConceptScore W2074694595C55439883 @default.
- W2074694595 hasConceptScore W2074694595C58646249 @default.
- W2074694595 hasConceptScore W2074694595C60048249 @default.
- W2074694595 hasConceptScore W2074694595C80444323 @default.
- W2074694595 hasIssue "2" @default.
- W2074694595 hasLocation W20746945951 @default.
- W2074694595 hasLocation W20746945952 @default.
- W2074694595 hasOpenAccess W2074694595 @default.
- W2074694595 hasPrimaryLocation W20746945951 @default.
- W2074694595 hasRelatedWork W112160617 @default.
- W2074694595 hasRelatedWork W1872365633 @default.
- W2074694595 hasRelatedWork W1967899974 @default.
- W2074694595 hasRelatedWork W2027654275 @default.
- W2074694595 hasRelatedWork W2046704574 @default.
- W2074694595 hasRelatedWork W2070761870 @default.
- W2074694595 hasRelatedWork W2378105307 @default.
- W2074694595 hasRelatedWork W2483803551 @default.
- W2074694595 hasRelatedWork W3149405943 @default.
- W2074694595 hasRelatedWork W4246531319 @default.
- W2074694595 hasVolume "49" @default.
- W2074694595 isParatext "false" @default.
- W2074694595 isRetracted "false" @default.
- W2074694595 magId "2074694595" @default.
- W2074694595 workType "article" @default.