Matches in SemOpenAlex for { <https://semopenalex.org/work/W3114253521> ?p ?o ?g. }
- W3114253521 endingPage "33" @default.
- W3114253521 startingPage "1" @default.
- W3114253521 abstract "Evaluating higher-order functional programs through abstract machines inspired by the geometry of the interaction is known to induce space efficiencies, the price being time performances often poorer than those obtainable with traditional, environment-based, abstract machines. Although families of lambda-terms for which the former is exponentially less efficient than the latter do exist, it is currently unknown how general this phenomenon is, and how far the inefficiencies can go, in the worst case. We answer these questions formulating four different well-known abstract machines inside a common definitional framework, this way being able to give sharp results about the relative time efficiencies. We also prove that non-idempotent intersection type theories are able to precisely reflect the time performances of the interactive abstract machine, this way showing that its time-inefficiency ultimately descends from the presence of higher-order types." @default.
- W3114253521 created "2021-01-05" @default.
- W3114253521 creator A5041239393 @default.
- W3114253521 creator A5046873607 @default.
- W3114253521 creator A5084450516 @default.
- W3114253521 date "2021-01-04" @default.
- W3114253521 modified "2023-09-26" @default.
- W3114253521 title "The (In)Efficiency of interaction" @default.
- W3114253521 cites W1525162160 @default.
- W3114253521 cites W1527432636 @default.
- W3114253521 cites W1529521296 @default.
- W3114253521 cites W1552338004 @default.
- W3114253521 cites W1683412184 @default.
- W3114253521 cites W176818131 @default.
- W3114253521 cites W1934916023 @default.
- W3114253521 cites W1981303668 @default.
- W3114253521 cites W1983303046 @default.
- W3114253521 cites W2001822718 @default.
- W3114253521 cites W2002689571 @default.
- W3114253521 cites W2023801367 @default.
- W3114253521 cites W2024189573 @default.
- W3114253521 cites W2024902159 @default.
- W3114253521 cites W2024929322 @default.
- W3114253521 cites W2027591072 @default.
- W3114253521 cites W2039112578 @default.
- W3114253521 cites W2040871029 @default.
- W3114253521 cites W2081130923 @default.
- W3114253521 cites W2081694512 @default.
- W3114253521 cites W2083251128 @default.
- W3114253521 cites W2085670481 @default.
- W3114253521 cites W2086682999 @default.
- W3114253521 cites W2105475156 @default.
- W3114253521 cites W2106351589 @default.
- W3114253521 cites W2119454081 @default.
- W3114253521 cites W2132265554 @default.
- W3114253521 cites W2138308600 @default.
- W3114253521 cites W2142440481 @default.
- W3114253521 cites W2152839970 @default.
- W3114253521 cites W2158015668 @default.
- W3114253521 cites W2160650896 @default.
- W3114253521 cites W2165446401 @default.
- W3114253521 cites W2186736595 @default.
- W3114253521 cites W2232523289 @default.
- W3114253521 cites W2293139545 @default.
- W3114253521 cites W2404181034 @default.
- W3114253521 cites W2406902927 @default.
- W3114253521 cites W2565660667 @default.
- W3114253521 cites W2725322043 @default.
- W3114253521 cites W2760585651 @default.
- W3114253521 cites W2764063203 @default.
- W3114253521 cites W2779912584 @default.
- W3114253521 cites W2896999751 @default.
- W3114253521 cites W2898952448 @default.
- W3114253521 cites W2911865844 @default.
- W3114253521 cites W2920885075 @default.
- W3114253521 cites W2933535240 @default.
- W3114253521 cites W2962792150 @default.
- W3114253521 cites W2963005210 @default.
- W3114253521 cites W2964032597 @default.
- W3114253521 cites W2973316748 @default.
- W3114253521 cites W2975191788 @default.
- W3114253521 cites W3028421255 @default.
- W3114253521 cites W3031314371 @default.
- W3114253521 cites W3088756446 @default.
- W3114253521 cites W3090972609 @default.
- W3114253521 cites W3098034088 @default.
- W3114253521 cites W4232943206 @default.
- W3114253521 cites W4233636389 @default.
- W3114253521 cites W4236134058 @default.
- W3114253521 cites W4244792815 @default.
- W3114253521 cites W4249023099 @default.
- W3114253521 doi "https://doi.org/10.1145/3434332" @default.
- W3114253521 hasPublicationYear "2021" @default.
- W3114253521 type Work @default.
- W3114253521 sameAs 3114253521 @default.
- W3114253521 citedByCount "6" @default.
- W3114253521 countsByYear W31142535212021 @default.
- W3114253521 countsByYear W31142535212022 @default.
- W3114253521 crossrefType "journal-article" @default.
- W3114253521 hasAuthorship W3114253521A5041239393 @default.
- W3114253521 hasAuthorship W3114253521A5046873607 @default.
- W3114253521 hasAuthorship W3114253521A5084450516 @default.
- W3114253521 hasBestOaLocation W31142535211 @default.
- W3114253521 hasConcept C10138342 @default.
- W3114253521 hasConcept C111472728 @default.
- W3114253521 hasConcept C111919701 @default.
- W3114253521 hasConcept C121332964 @default.
- W3114253521 hasConcept C127413603 @default.
- W3114253521 hasConcept C130187892 @default.
- W3114253521 hasConcept C138885662 @default.
- W3114253521 hasConcept C146978453 @default.
- W3114253521 hasConcept C162324750 @default.
- W3114253521 hasConcept C175444787 @default.
- W3114253521 hasConcept C182306322 @default.
- W3114253521 hasConcept C18903297 @default.
- W3114253521 hasConcept C2777299769 @default.
- W3114253521 hasConcept C2778572836 @default.
- W3114253521 hasConcept C2778869765 @default.