Matches in SemOpenAlex for { <https://semopenalex.org/work/W2094574511> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2094574511 endingPage "95" @default.
- W2094574511 startingPage "85" @default.
- W2094574511 abstract "This paper is concerned with a programming language construct for typed name binding that enforces αequivalence. It proves a new result about what operations on names can co-exist with this construct. The particular form of typed name binding studied is that used by the FreshML family of languages. Its characteristic feature is that a name binding is represented by an abstract (name,value)-pair that may only be deconstructed via the generation of fresh bound names. In FreshML the only observation one can make of names is to test whether or not they are equal. This restricted amount of observation was thought necessary to ensure that there is no observable difference between αequivalent name binders. Yet from an algorithmic point of view it would be desirable to allow other operations and relations on names, such as a total ordering. This paper shows that, contrary to expectations, one may add not just ordering, but almost any relation or numerical function on names without disturbing the fundamental correctness result about this form of typed name binding (that object-level αequivalence precisely corresponds to contextual equivalence at the programming meta-level), so long as one takes the state of dynamically created names into account." @default.
- W2094574511 created "2016-06-24" @default.
- W2094574511 creator A5004914824 @default.
- W2094574511 creator A5035484728 @default.
- W2094574511 date "2007-01-17" @default.
- W2094574511 modified "2023-09-26" @default.
- W2094574511 title "Generative unbinding of names" @default.
- W2094574511 cites W1567525491 @default.
- W2094574511 cites W1634581701 @default.
- W2094574511 cites W1964490202 @default.
- W2094574511 cites W1973030866 @default.
- W2094574511 cites W1975082667 @default.
- W2094574511 cites W1993375565 @default.
- W2094574511 cites W2010210515 @default.
- W2094574511 cites W2073904768 @default.
- W2094574511 cites W2092367588 @default.
- W2094574511 cites W2095631859 @default.
- W2094574511 cites W2128159126 @default.
- W2094574511 cites W2136171121 @default.
- W2094574511 cites W2151716725 @default.
- W2094574511 cites W2162208777 @default.
- W2094574511 cites W2180471721 @default.
- W2094574511 cites W2912255765 @default.
- W2094574511 cites W3023993646 @default.
- W2094574511 cites W4250846042 @default.
- W2094574511 cites W4299423755 @default.
- W2094574511 doi "https://doi.org/10.1145/1190215.1190232" @default.
- W2094574511 hasPublicationYear "2007" @default.
- W2094574511 type Work @default.
- W2094574511 sameAs 2094574511 @default.
- W2094574511 citedByCount "2" @default.
- W2094574511 crossrefType "journal-article" @default.
- W2094574511 hasAuthorship W2094574511A5004914824 @default.
- W2094574511 hasAuthorship W2094574511A5035484728 @default.
- W2094574511 hasBestOaLocation W20945745112 @default.
- W2094574511 hasConcept C118615104 @default.
- W2094574511 hasConcept C138885662 @default.
- W2094574511 hasConcept C14036430 @default.
- W2094574511 hasConcept C154945302 @default.
- W2094574511 hasConcept C156103551 @default.
- W2094574511 hasConcept C199360897 @default.
- W2094574511 hasConcept C2776401178 @default.
- W2094574511 hasConcept C2780069185 @default.
- W2094574511 hasConcept C2780801425 @default.
- W2094574511 hasConcept C2781238097 @default.
- W2094574511 hasConcept C33923547 @default.
- W2094574511 hasConcept C39890363 @default.
- W2094574511 hasConcept C41008148 @default.
- W2094574511 hasConcept C41895202 @default.
- W2094574511 hasConcept C55439883 @default.
- W2094574511 hasConcept C78458016 @default.
- W2094574511 hasConcept C80444323 @default.
- W2094574511 hasConcept C86803240 @default.
- W2094574511 hasConceptScore W2094574511C118615104 @default.
- W2094574511 hasConceptScore W2094574511C138885662 @default.
- W2094574511 hasConceptScore W2094574511C14036430 @default.
- W2094574511 hasConceptScore W2094574511C154945302 @default.
- W2094574511 hasConceptScore W2094574511C156103551 @default.
- W2094574511 hasConceptScore W2094574511C199360897 @default.
- W2094574511 hasConceptScore W2094574511C2776401178 @default.
- W2094574511 hasConceptScore W2094574511C2780069185 @default.
- W2094574511 hasConceptScore W2094574511C2780801425 @default.
- W2094574511 hasConceptScore W2094574511C2781238097 @default.
- W2094574511 hasConceptScore W2094574511C33923547 @default.
- W2094574511 hasConceptScore W2094574511C39890363 @default.
- W2094574511 hasConceptScore W2094574511C41008148 @default.
- W2094574511 hasConceptScore W2094574511C41895202 @default.
- W2094574511 hasConceptScore W2094574511C55439883 @default.
- W2094574511 hasConceptScore W2094574511C78458016 @default.
- W2094574511 hasConceptScore W2094574511C80444323 @default.
- W2094574511 hasConceptScore W2094574511C86803240 @default.
- W2094574511 hasIssue "1" @default.
- W2094574511 hasLocation W20945745111 @default.
- W2094574511 hasLocation W20945745112 @default.
- W2094574511 hasLocation W20945745113 @default.
- W2094574511 hasOpenAccess W2094574511 @default.
- W2094574511 hasPrimaryLocation W20945745111 @default.
- W2094574511 hasRelatedWork W1484166989 @default.
- W2094574511 hasRelatedWork W1823469408 @default.
- W2094574511 hasRelatedWork W2060359281 @default.
- W2094574511 hasRelatedWork W2072806201 @default.
- W2094574511 hasRelatedWork W2162844904 @default.
- W2094574511 hasRelatedWork W3164441579 @default.
- W2094574511 hasRelatedWork W4225747963 @default.
- W2094574511 hasRelatedWork W4300267964 @default.
- W2094574511 hasRelatedWork W4312441394 @default.
- W2094574511 hasRelatedWork W2152452639 @default.
- W2094574511 hasVolume "42" @default.
- W2094574511 isParatext "false" @default.
- W2094574511 isRetracted "false" @default.
- W2094574511 magId "2094574511" @default.
- W2094574511 workType "article" @default.