Matches in SemOpenAlex for { <https://semopenalex.org/work/W1598131574> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1598131574 endingPage "280" @default.
- W1598131574 startingPage "266" @default.
- W1598131574 abstract "CPS transformation is an important tool in the compilation of functional programming languages. For strict languages, such as our web programming language Rinso or Microsoft's F#, monadic expressions can help with structuring and composing computations.To apply a CPS transformation in the compilation process of such a language, we integrate explicit monadic abstraction in a call-by-value source language, present a Danvy-Filinski-style CPS transformation for this extension, and verify that the translation preserves simple typing. We establish the simulation properties of this transformation in an untyped setting and relate it to a two stage transformation that implements the monadic abstraction with thunks and introduces continuations in a second step. Furthermore, we give a direct style translation which corresponds to the monadic translation." @default.
- W1598131574 created "2016-06-24" @default.
- W1598131574 creator A5000384936 @default.
- W1598131574 creator A5050660693 @default.
- W1598131574 date "2009-01-01" @default.
- W1598131574 modified "2023-10-16" @default.
- W1598131574 title "How to CPS Transform a Monad" @default.
- W1598131574 cites W1526922952 @default.
- W1598131574 cites W1608933122 @default.
- W1598131574 cites W1969661839 @default.
- W1598131574 cites W1975575519 @default.
- W1598131574 cites W1986228550 @default.
- W1598131574 cites W1997143185 @default.
- W1598131574 cites W1999336811 @default.
- W1598131574 cites W2009776842 @default.
- W1598131574 cites W2022518532 @default.
- W1598131574 cites W2029894425 @default.
- W1598131574 cites W2033229728 @default.
- W1598131574 cites W2073904768 @default.
- W1598131574 cites W2075139806 @default.
- W1598131574 cites W2088735483 @default.
- W1598131574 cites W2113098044 @default.
- W1598131574 cites W2113931558 @default.
- W1598131574 cites W2124056143 @default.
- W1598131574 cites W2136327713 @default.
- W1598131574 cites W2138037343 @default.
- W1598131574 cites W2151186348 @default.
- W1598131574 cites W2295914203 @default.
- W1598131574 cites W2913305528 @default.
- W1598131574 cites W3016921254 @default.
- W1598131574 cites W4234438627 @default.
- W1598131574 cites W4237350695 @default.
- W1598131574 doi "https://doi.org/10.1007/978-3-642-00722-4_19" @default.
- W1598131574 hasPublicationYear "2009" @default.
- W1598131574 type Work @default.
- W1598131574 sameAs 1598131574 @default.
- W1598131574 citedByCount "1" @default.
- W1598131574 countsByYear W15981315742013 @default.
- W1598131574 crossrefType "book-chapter" @default.
- W1598131574 hasAuthorship W1598131574A5000384936 @default.
- W1598131574 hasAuthorship W1598131574A5050660693 @default.
- W1598131574 hasBestOaLocation W15981315741 @default.
- W1598131574 hasConcept C118615104 @default.
- W1598131574 hasConcept C136119220 @default.
- W1598131574 hasConcept C156772000 @default.
- W1598131574 hasConcept C199360897 @default.
- W1598131574 hasConcept C202444582 @default.
- W1598131574 hasConcept C33923547 @default.
- W1598131574 hasConcept C33959348 @default.
- W1598131574 hasConcept C41008148 @default.
- W1598131574 hasConcept C80444323 @default.
- W1598131574 hasConceptScore W1598131574C118615104 @default.
- W1598131574 hasConceptScore W1598131574C136119220 @default.
- W1598131574 hasConceptScore W1598131574C156772000 @default.
- W1598131574 hasConceptScore W1598131574C199360897 @default.
- W1598131574 hasConceptScore W1598131574C202444582 @default.
- W1598131574 hasConceptScore W1598131574C33923547 @default.
- W1598131574 hasConceptScore W1598131574C33959348 @default.
- W1598131574 hasConceptScore W1598131574C41008148 @default.
- W1598131574 hasConceptScore W1598131574C80444323 @default.
- W1598131574 hasLocation W15981315741 @default.
- W1598131574 hasOpenAccess W1598131574 @default.
- W1598131574 hasPrimaryLocation W15981315741 @default.
- W1598131574 hasRelatedWork W1527862632 @default.
- W1598131574 hasRelatedWork W1538724214 @default.
- W1598131574 hasRelatedWork W2109507516 @default.
- W1598131574 hasRelatedWork W2112962394 @default.
- W1598131574 hasRelatedWork W2118300983 @default.
- W1598131574 hasRelatedWork W2135396778 @default.
- W1598131574 hasRelatedWork W2406651324 @default.
- W1598131574 hasRelatedWork W2740990710 @default.
- W1598131574 hasRelatedWork W3137189469 @default.
- W1598131574 hasRelatedWork W4243252198 @default.
- W1598131574 isParatext "false" @default.
- W1598131574 isRetracted "false" @default.
- W1598131574 magId "1598131574" @default.
- W1598131574 workType "book-chapter" @default.