FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387667016> ?p ?o ?g. }

• W4387667016 endingPage "970" @default.
• W4387667016 startingPage "941" @default.
• W4387667016 abstract "Effect handlers are a high-level abstraction that enables programmers to use effects in a structured way. They have gained a lot of popularity within academia and subsequently also in industry. However, the abstraction often comes with a significant runtime cost and there has been intensive research recently on how to reduce this price. A promising approach in this regard is to implement effect handlers using a CPS translation and to provide sufficient information about the nesting of handlers. With this information the CPS translation can decide how effects have to be lifted through handlers, i.e., which handlers need to be skipped, in order to handle the effect at the correct place. A structured way to make this information available is to use a calculus with a region system and explicit subregion evidence. Such calculi, however, are quite verbose, which makes them impractical to use as a source-level language. We present a method to infer the lifting information for a calculus underlying a source-level language. This calculus uses second-class capabilities for the safe use of effects. To do so, we define a typed translation to a calculus with regions and evidence and we show that this lift-inference translation is typability- and semantics-preserving. On the one hand, this exposes the precise relation between the second-class property and the structure given by regions. On the other hand, it closes a gap in a compiler pipeline enabling efficient compilation of the source-level language. We have implemented lift inference in this compiler pipeline and conducted benchmarks which indicate that the approach is indeed working." @default.
• W4387667016 created "2023-10-17" @default.
• W4387667016 creator A5027088540 @default.
• W4387667016 creator A5029318181 @default.
• W4387667016 creator A5029879693 @default.
• W4387667016 creator A5049077225 @default.
• W4387667016 creator A5051962026 @default.
• W4387667016 date "2023-10-16" @default.
• W4387667016 modified "2023-10-17" @default.
• W4387667016 title "From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers" @default.
• W4387667016 cites W1492124994 @default.
• W4387667016 cites W1829244603 @default.
• W4387667016 cites W1830421783 @default.
• W4387667016 cites W1971906578 @default.
• W4387667016 cites W1999336811 @default.
• W4387667016 cites W2040907375 @default.
• W4387667016 cites W2084861262 @default.
• W4387667016 cites W2086744387 @default.
• W4387667016 cites W2087875803 @default.
• W4387667016 cites W2129902163 @default.
• W4387667016 cites W2136545577 @default.
• W4387667016 cites W2141576692 @default.
• W4387667016 cites W2166822586 @default.
• W4387667016 cites W2181342601 @default.
• W4387667016 cites W2184230987 @default.
• W4387667016 cites W2567568390 @default.
• W4387667016 cites W2777452194 @default.
• W4387667016 cites W2797487433 @default.
• W4387667016 cites W2890147338 @default.
• W4387667016 cites W2900081643 @default.
• W4387667016 cites W2965983020 @default.
• W4387667016 cites W2995698344 @default.
• W4387667016 cites W3005412812 @default.
• W4387667016 cites W3006963970 @default.
• W4387667016 cites W3012366501 @default.
• W4387667016 cites W3033957710 @default.
• W4387667016 cites W3039827481 @default.
• W4387667016 cites W3047512562 @default.
• W4387667016 cites W3103594074 @default.
• W4387667016 cites W3107145433 @default.
• W4387667016 cites W3167737351 @default.
• W4387667016 cites W3170236839 @default.
• W4387667016 cites W3206622374 @default.
• W4387667016 cites W4225138414 @default.
• W4387667016 cites W4226214097 @default.
• W4387667016 cites W4232498739 @default.
• W4387667016 cites W4249075482 @default.
• W4387667016 cites W4282044797 @default.
• W4387667016 doi "https://doi.org/10.1145/3622831" @default.
• W4387667016 hasPublicationYear "2023" @default.
• W4387667016 type Work @default.
• W4387667016 citedByCount "0" @default.
• W4387667016 crossrefType "journal-article" @default.
• W4387667016 hasAuthorship W4387667016A5027088540 @default.
• W4387667016 hasAuthorship W4387667016A5029318181 @default.
• W4387667016 hasAuthorship W4387667016A5029879693 @default.
• W4387667016 hasAuthorship W4387667016A5049077225 @default.
• W4387667016 hasAuthorship W4387667016A5051962026 @default.
• W4387667016 hasBestOaLocation W43876670161 @default.
• W4387667016 hasConcept C111472728 @default.
• W4387667016 hasConcept C115903868 @default.
• W4387667016 hasConcept C124101348 @default.
• W4387667016 hasConcept C124304363 @default.
• W4387667016 hasConcept C138885662 @default.
• W4387667016 hasConcept C139002025 @default.
• W4387667016 hasConcept C154945302 @default.
• W4387667016 hasConcept C15744967 @default.
• W4387667016 hasConcept C169590947 @default.
• W4387667016 hasConcept C199360897 @default.
• W4387667016 hasConcept C2776214188 @default.
• W4387667016 hasConcept C2777212361 @default.
• W4387667016 hasConcept C2780586970 @default.
• W4387667016 hasConcept C41008148 @default.
• W4387667016 hasConcept C77805123 @default.
• W4387667016 hasConcept C80444323 @default.
• W4387667016 hasConceptScore W4387667016C111472728 @default.
• W4387667016 hasConceptScore W4387667016C115903868 @default.
• W4387667016 hasConceptScore W4387667016C124101348 @default.
• W4387667016 hasConceptScore W4387667016C124304363 @default.
• W4387667016 hasConceptScore W4387667016C138885662 @default.
• W4387667016 hasConceptScore W4387667016C139002025 @default.
• W4387667016 hasConceptScore W4387667016C154945302 @default.
• W4387667016 hasConceptScore W4387667016C15744967 @default.
• W4387667016 hasConceptScore W4387667016C169590947 @default.
• W4387667016 hasConceptScore W4387667016C199360897 @default.
• W4387667016 hasConceptScore W4387667016C2776214188 @default.
• W4387667016 hasConceptScore W4387667016C2777212361 @default.
• W4387667016 hasConceptScore W4387667016C2780586970 @default.
• W4387667016 hasConceptScore W4387667016C41008148 @default.
• W4387667016 hasConceptScore W4387667016C77805123 @default.
• W4387667016 hasConceptScore W4387667016C80444323 @default.
• W4387667016 hasIssue "OOPSLA2" @default.
• W4387667016 hasLocation W43876670161 @default.
• W4387667016 hasOpenAccess W4387667016 @default.
• W4387667016 hasPrimaryLocation W43876670161 @default.
• W4387667016 hasRelatedWork W2142306706 @default.
• W4387667016 hasRelatedWork W2348524959 @default.
• W4387667016 hasRelatedWork W2368049389 @default.

• next