Matches in SemOpenAlex for { <https://semopenalex.org/work/W2138037343> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2138037343 endingPage "319" @default.
- W2138037343 startingPage "303" @default.
- W2138037343 abstract "Thirty-five years ago, thunks were used to simulate call-by-name under call-by-value in Algol 60. Twenty years ago, Plotkin presented continuation-based simulations of call-by-name under call-by-value and vice versa in the λ-calculus. We connect all three of these classical simulations by factorizing the continuation-based call-by-name simulation Cn with a thunk-based call-by-name simulation T followed by the continuation-based call-by-value simulation Cv, extended to thunks.formula hereWe show that T actually satisfies all of Plotkin's correctness criteria for Cn (i.e. his Indifference, Simulation and Translation theorems). Furthermore, most of the correctness theorems for Cn can now be seen as simple corollaries of the corresponding theorems for Cv and T." @default.
- W2138037343 created "2016-06-24" @default.
- W2138037343 creator A5016621051 @default.
- W2138037343 creator A5018982940 @default.
- W2138037343 date "1997-05-01" @default.
- W2138037343 modified "2023-09-25" @default.
- W2138037343 title "Thunks and the λ-calculus" @default.
- W2138037343 cites W1490978687 @default.
- W2138037343 cites W1514119099 @default.
- W2138037343 cites W1523016082 @default.
- W2138037343 cites W1562824671 @default.
- W2138037343 cites W1608933122 @default.
- W2138037343 cites W1769931508 @default.
- W2138037343 cites W1964328999 @default.
- W2138037343 cites W1975575519 @default.
- W2138037343 cites W1977212480 @default.
- W2138037343 cites W1980305847 @default.
- W2138037343 cites W1984646543 @default.
- W2138037343 cites W1997143185 @default.
- W2138037343 cites W1999336811 @default.
- W2138037343 cites W2008920425 @default.
- W2138037343 cites W2029894425 @default.
- W2138037343 cites W2041945455 @default.
- W2138037343 cites W2062274057 @default.
- W2138037343 cites W2075281820 @default.
- W2138037343 cites W2088735483 @default.
- W2138037343 cites W2126126443 @default.
- W2138037343 cites W2135287414 @default.
- W2138037343 cites W2152711824 @default.
- W2138037343 cites W2154273644 @default.
- W2138037343 cites W2161982807 @default.
- W2138037343 cites W267417 @default.
- W2138037343 cites W2914897165 @default.
- W2138037343 cites W77859606 @default.
- W2138037343 cites W90561052 @default.
- W2138037343 cites W2217637444 @default.
- W2138037343 doi "https://doi.org/10.1017/s0956796897002748" @default.
- W2138037343 hasPublicationYear "1997" @default.
- W2138037343 type Work @default.
- W2138037343 sameAs 2138037343 @default.
- W2138037343 citedByCount "47" @default.
- W2138037343 countsByYear W21380373432012 @default.
- W2138037343 countsByYear W21380373432014 @default.
- W2138037343 countsByYear W21380373432015 @default.
- W2138037343 countsByYear W21380373432017 @default.
- W2138037343 countsByYear W21380373432018 @default.
- W2138037343 countsByYear W21380373432022 @default.
- W2138037343 crossrefType "journal-article" @default.
- W2138037343 hasAuthorship W2138037343A5016621051 @default.
- W2138037343 hasAuthorship W2138037343A5018982940 @default.
- W2138037343 hasConcept C199343813 @default.
- W2138037343 hasConcept C199360897 @default.
- W2138037343 hasConcept C2777686260 @default.
- W2138037343 hasConcept C41008148 @default.
- W2138037343 hasConcept C71924100 @default.
- W2138037343 hasConceptScore W2138037343C199343813 @default.
- W2138037343 hasConceptScore W2138037343C199360897 @default.
- W2138037343 hasConceptScore W2138037343C2777686260 @default.
- W2138037343 hasConceptScore W2138037343C41008148 @default.
- W2138037343 hasConceptScore W2138037343C71924100 @default.
- W2138037343 hasIssue "3" @default.
- W2138037343 hasLocation W21380373431 @default.
- W2138037343 hasOpenAccess W2138037343 @default.
- W2138037343 hasPrimaryLocation W21380373431 @default.
- W2138037343 hasRelatedWork W1527862632 @default.
- W2138037343 hasRelatedWork W2109507516 @default.
- W2138037343 hasRelatedWork W2112962394 @default.
- W2138037343 hasRelatedWork W2118300983 @default.
- W2138037343 hasRelatedWork W2135396778 @default.
- W2138037343 hasRelatedWork W2382501300 @default.
- W2138037343 hasRelatedWork W2740990710 @default.
- W2138037343 hasRelatedWork W3137189469 @default.
- W2138037343 hasRelatedWork W4235530921 @default.
- W2138037343 hasRelatedWork W4243252198 @default.
- W2138037343 hasVolume "7" @default.
- W2138037343 isParatext "false" @default.
- W2138037343 isRetracted "false" @default.
- W2138037343 magId "2138037343" @default.
- W2138037343 workType "article" @default.