Matches in SemOpenAlex for { <https://semopenalex.org/work/W1807717811> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1807717811 abstract "We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values, and can be optimally reduced in the sense of LEvy. The technology is founded on proofnets for multiplicative-exponential linear logic, extending the techniques originally proposed by Lamping, where we adapt the continuation-passing style transformation to yield a new understanding of sharable values. Confluence is maintained by returning multiple answers to a (shared) continuation.Proofnets provide a concurrent version of linear logic proofs, eliminating structurally irrelevant sequentialization, and ignoring asymmetric distinctions between inputs and outputs--dually, expressions and continuations. While Lamping's graphs and their variants encode an embedding of intuitionistic logic into linear logic, our construction implicitly contains an embedding of classical logic into linear logic.We propose a family of translations, produced uniformly by beginning with a continuation-passing style semantics for the languages, employing standard codings into proofnets using call-by-value, call-by-name--or hybrids of the two--to locate proofnet boxes, and converting the proofnets to direct style. The resulting graphs can be reduced simply (cut elimination for linear logic), have a consistent semantics that is preserved by reduction (geometry of interaction, via the so-called context semantics), and allow shared, incremental evaluation of continuations (optimal reduction)." @default.
- W1807717811 created "2016-06-24" @default.
- W1807717811 creator A5040879516 @default.
- W1807717811 creator A5091120658 @default.
- W1807717811 date "2000-01-01" @default.
- W1807717811 modified "2023-09-26" @default.
- W1807717811 title "Sharing Continuations: Proofnets for Languages with Explicit Control" @default.
- W1807717811 cites W1975575519 @default.
- W1807717811 cites W1980647766 @default.
- W1807717811 cites W1992485564 @default.
- W1807717811 cites W1999336811 @default.
- W1807717811 cites W1999643018 @default.
- W1807717811 cites W2002529995 @default.
- W1807717811 cites W2025834181 @default.
- W1807717811 cites W2063179190 @default.
- W1807717811 cites W2088735483 @default.
- W1807717811 cites W2124056143 @default.
- W1807717811 cites W2135287414 @default.
- W1807717811 cites W2293168108 @default.
- W1807717811 cites W2294422796 @default.
- W1807717811 cites W2914468402 @default.
- W1807717811 cites W4210495983 @default.
- W1807717811 cites W4243441679 @default.
- W1807717811 cites W50946012 @default.
- W1807717811 doi "https://doi.org/10.1007/3-540-46425-5_16" @default.
- W1807717811 hasPublicationYear "2000" @default.
- W1807717811 type Work @default.
- W1807717811 sameAs 1807717811 @default.
- W1807717811 citedByCount "2" @default.
- W1807717811 countsByYear W18077178112014 @default.
- W1807717811 crossrefType "book-chapter" @default.
- W1807717811 hasAuthorship W1807717811A5040879516 @default.
- W1807717811 hasAuthorship W1807717811A5091120658 @default.
- W1807717811 hasBestOaLocation W18077178111 @default.
- W1807717811 hasConcept C102993220 @default.
- W1807717811 hasConcept C111335779 @default.
- W1807717811 hasConcept C11413529 @default.
- W1807717811 hasConcept C118615104 @default.
- W1807717811 hasConcept C154945302 @default.
- W1807717811 hasConcept C184337299 @default.
- W1807717811 hasConcept C199360897 @default.
- W1807717811 hasConcept C203659156 @default.
- W1807717811 hasConcept C2524010 @default.
- W1807717811 hasConcept C28077239 @default.
- W1807717811 hasConcept C33923547 @default.
- W1807717811 hasConcept C3845977 @default.
- W1807717811 hasConcept C41008148 @default.
- W1807717811 hasConcept C41608201 @default.
- W1807717811 hasConcept C80444323 @default.
- W1807717811 hasConcept C80467683 @default.
- W1807717811 hasConceptScore W1807717811C102993220 @default.
- W1807717811 hasConceptScore W1807717811C111335779 @default.
- W1807717811 hasConceptScore W1807717811C11413529 @default.
- W1807717811 hasConceptScore W1807717811C118615104 @default.
- W1807717811 hasConceptScore W1807717811C154945302 @default.
- W1807717811 hasConceptScore W1807717811C184337299 @default.
- W1807717811 hasConceptScore W1807717811C199360897 @default.
- W1807717811 hasConceptScore W1807717811C203659156 @default.
- W1807717811 hasConceptScore W1807717811C2524010 @default.
- W1807717811 hasConceptScore W1807717811C28077239 @default.
- W1807717811 hasConceptScore W1807717811C33923547 @default.
- W1807717811 hasConceptScore W1807717811C3845977 @default.
- W1807717811 hasConceptScore W1807717811C41008148 @default.
- W1807717811 hasConceptScore W1807717811C41608201 @default.
- W1807717811 hasConceptScore W1807717811C80444323 @default.
- W1807717811 hasConceptScore W1807717811C80467683 @default.
- W1807717811 hasLocation W18077178111 @default.
- W1807717811 hasOpenAccess W1807717811 @default.
- W1807717811 hasPrimaryLocation W18077178111 @default.
- W1807717811 hasRelatedWork W1510057365 @default.
- W1807717811 hasRelatedWork W1596583916 @default.
- W1807717811 hasRelatedWork W1599361371 @default.
- W1807717811 hasRelatedWork W2009354615 @default.
- W1807717811 hasRelatedWork W2098064994 @default.
- W1807717811 hasRelatedWork W2124345097 @default.
- W1807717811 hasRelatedWork W2185302104 @default.
- W1807717811 hasRelatedWork W2232523289 @default.
- W1807717811 hasRelatedWork W2548622894 @default.
- W1807717811 hasRelatedWork W2634552222 @default.
- W1807717811 hasRelatedWork W2774689006 @default.
- W1807717811 hasRelatedWork W2798485127 @default.
- W1807717811 hasRelatedWork W2809754822 @default.
- W1807717811 hasRelatedWork W28931835 @default.
- W1807717811 hasRelatedWork W2907351305 @default.
- W1807717811 hasRelatedWork W2962716594 @default.
- W1807717811 hasRelatedWork W3093815185 @default.
- W1807717811 hasRelatedWork W3099560079 @default.
- W1807717811 hasRelatedWork W3114122494 @default.
- W1807717811 hasRelatedWork W3122093772 @default.
- W1807717811 isParatext "false" @default.
- W1807717811 isRetracted "false" @default.
- W1807717811 magId "1807717811" @default.
- W1807717811 workType "book-chapter" @default.