Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112091567> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2112091567 abstract "Algebraic structures abound in programming languages. The starting point for this paper is the following theorem: (first-order) algebraic signatures can themselves be described as free algebras for a (second-order) algebraic theory of substitution. Transporting this to the realm of programming languages, we investigate a computational metalanguage based on the theory of substitution, demonstrating that substituting corresponds to jumping in an abstract machine. We use the theorem to give an interpretation of a programming language with arbitrary algebraic effects into the metalanguage with substitution/jumps." @default.
- W2112091567 created "2016-06-24" @default.
- W2112091567 creator A5068183682 @default.
- W2112091567 creator A5080675787 @default.
- W2112091567 date "2014-07-14" @default.
- W2112091567 modified "2023-10-16" @default.
- W2112091567 title "Substitution, jumps, and algebraic effects" @default.
- W2112091567 cites W1590681881 @default.
- W2112091567 cites W1606211906 @default.
- W2112091567 cites W1821574096 @default.
- W2112091567 cites W1830421783 @default.
- W2112091567 cites W1968062295 @default.
- W2112091567 cites W1971752790 @default.
- W2112091567 cites W1971906578 @default.
- W2112091567 cites W1979240050 @default.
- W2112091567 cites W1992124283 @default.
- W2112091567 cites W1994376732 @default.
- W2112091567 cites W1997143185 @default.
- W2112091567 cites W199863285 @default.
- W2112091567 cites W2016718260 @default.
- W2112091567 cites W2022518532 @default.
- W2112091567 cites W2040355822 @default.
- W2112091567 cites W2066606716 @default.
- W2112091567 cites W2075406361 @default.
- W2112091567 cites W2083697466 @default.
- W2112091567 cites W2084115964 @default.
- W2112091567 cites W2090639879 @default.
- W2112091567 cites W2099741881 @default.
- W2112091567 cites W2110189158 @default.
- W2112091567 cites W2115627721 @default.
- W2112091567 cites W2136928151 @default.
- W2112091567 cites W2155415173 @default.
- W2112091567 cites W2168547990 @default.
- W2112091567 cites W2294422796 @default.
- W2112091567 cites W2338036611 @default.
- W2112091567 cites W3160062581 @default.
- W2112091567 doi "https://doi.org/10.1145/2603088.2603163" @default.
- W2112091567 hasPublicationYear "2014" @default.
- W2112091567 type Work @default.
- W2112091567 sameAs 2112091567 @default.
- W2112091567 citedByCount "10" @default.
- W2112091567 countsByYear W21120915672019 @default.
- W2112091567 countsByYear W21120915672020 @default.
- W2112091567 countsByYear W21120915672022 @default.
- W2112091567 countsByYear W21120915672023 @default.
- W2112091567 crossrefType "proceedings-article" @default.
- W2112091567 hasAuthorship W2112091567A5068183682 @default.
- W2112091567 hasAuthorship W2112091567A5080675787 @default.
- W2112091567 hasBestOaLocation W21120915672 @default.
- W2112091567 hasConcept C10138342 @default.
- W2112091567 hasConcept C134306372 @default.
- W2112091567 hasConcept C136119220 @default.
- W2112091567 hasConcept C142998047 @default.
- W2112091567 hasConcept C162324750 @default.
- W2112091567 hasConcept C182306322 @default.
- W2112091567 hasConcept C199360897 @default.
- W2112091567 hasConcept C202444582 @default.
- W2112091567 hasConcept C2778220771 @default.
- W2112091567 hasConcept C2779782106 @default.
- W2112091567 hasConcept C33923547 @default.
- W2112091567 hasConcept C41008148 @default.
- W2112091567 hasConcept C527412718 @default.
- W2112091567 hasConcept C9376300 @default.
- W2112091567 hasConceptScore W2112091567C10138342 @default.
- W2112091567 hasConceptScore W2112091567C134306372 @default.
- W2112091567 hasConceptScore W2112091567C136119220 @default.
- W2112091567 hasConceptScore W2112091567C142998047 @default.
- W2112091567 hasConceptScore W2112091567C162324750 @default.
- W2112091567 hasConceptScore W2112091567C182306322 @default.
- W2112091567 hasConceptScore W2112091567C199360897 @default.
- W2112091567 hasConceptScore W2112091567C202444582 @default.
- W2112091567 hasConceptScore W2112091567C2778220771 @default.
- W2112091567 hasConceptScore W2112091567C2779782106 @default.
- W2112091567 hasConceptScore W2112091567C33923547 @default.
- W2112091567 hasConceptScore W2112091567C41008148 @default.
- W2112091567 hasConceptScore W2112091567C527412718 @default.
- W2112091567 hasConceptScore W2112091567C9376300 @default.
- W2112091567 hasFunder F4320334678 @default.
- W2112091567 hasLocation W21120915671 @default.
- W2112091567 hasLocation W21120915672 @default.
- W2112091567 hasOpenAccess W2112091567 @default.
- W2112091567 hasPrimaryLocation W21120915671 @default.
- W2112091567 hasRelatedWork W1603772710 @default.
- W2112091567 hasRelatedWork W1989039217 @default.
- W2112091567 hasRelatedWork W2024069909 @default.
- W2112091567 hasRelatedWork W2075571364 @default.
- W2112091567 hasRelatedWork W2112091567 @default.
- W2112091567 hasRelatedWork W2949562154 @default.
- W2112091567 hasRelatedWork W4301268047 @default.
- W2112091567 hasRelatedWork W4378194532 @default.
- W2112091567 hasRelatedWork W593496163 @default.
- W2112091567 hasRelatedWork W89996766 @default.
- W2112091567 isParatext "false" @default.
- W2112091567 isRetracted "false" @default.
- W2112091567 magId "2112091567" @default.
- W2112091567 workType "article" @default.