Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105815991> ?p ?o ?g. }
- W2105815991 endingPage "939" @default.
- W2105815991 startingPage "893" @default.
- W2105815991 abstract "Staging is a programming technique for dividing the computation in order to exploit the early availability of some arguments. In the early stages the program uses the available arguments to generate, at run time, the code for the late stages. A type system for staging should ensure that only well-typed expressions are generated, and that only expressions with no free variables are permitted for evaluation. In this paper, we present a calculus for staged computation in which code from the late stages is composed by splicing smaller code fragments into a larger context, possibly incurring capture of free variables. The type system ensures safety by tracking the names of free variables for each code fragment. The type system is based on the necessity operator □ from constructive modal logic, which we index with a set of names C. Our type □ C A classifies expressions of type A that belong to the late stage, and whose free names are in the set C." @default.
- W2105815991 created "2016-06-24" @default.
- W2105815991 creator A5021476649 @default.
- W2105815991 creator A5026624853 @default.
- W2105815991 date "2005-08-05" @default.
- W2105815991 modified "2023-10-17" @default.
- W2105815991 title "Staged computation with names and necessity" @default.
- W2105815991 cites W1482333072 @default.
- W2105815991 cites W1488857024 @default.
- W2105815991 cites W1516748551 @default.
- W2105815991 cites W1517052937 @default.
- W2105815991 cites W1528193315 @default.
- W2105815991 cites W1539726370 @default.
- W2105815991 cites W1555037657 @default.
- W2105815991 cites W1555476679 @default.
- W2105815991 cites W1566968514 @default.
- W2105815991 cites W1634581701 @default.
- W2105815991 cites W1679133098 @default.
- W2105815991 cites W1815958522 @default.
- W2105815991 cites W1975082667 @default.
- W2105815991 cites W1988824860 @default.
- W2105815991 cites W1991650963 @default.
- W2105815991 cites W2007152073 @default.
- W2105815991 cites W2008541670 @default.
- W2105815991 cites W2011669306 @default.
- W2105815991 cites W2029408547 @default.
- W2105815991 cites W2037524393 @default.
- W2105815991 cites W2037575886 @default.
- W2105815991 cites W2041562780 @default.
- W2105815991 cites W2052170077 @default.
- W2105815991 cites W2054969282 @default.
- W2105815991 cites W2056024754 @default.
- W2105815991 cites W2059019165 @default.
- W2105815991 cites W2089579946 @default.
- W2105815991 cites W2093264024 @default.
- W2105815991 cites W2096314727 @default.
- W2105815991 cites W2104412665 @default.
- W2105815991 cites W2107776021 @default.
- W2105815991 cites W2111443557 @default.
- W2105815991 cites W2123887510 @default.
- W2105815991 cites W2131315680 @default.
- W2105815991 cites W2134291411 @default.
- W2105815991 cites W2137850935 @default.
- W2105815991 cites W2141287679 @default.
- W2105815991 cites W2143346393 @default.
- W2105815991 cites W2160268991 @default.
- W2105815991 cites W2171433297 @default.
- W2105815991 cites W2180471721 @default.
- W2105815991 cites W2296536988 @default.
- W2105815991 cites W2572804059 @default.
- W2105815991 cites W3162918618 @default.
- W2105815991 cites W326743114 @default.
- W2105815991 cites W69348146 @default.
- W2105815991 cites W981129589 @default.
- W2105815991 doi "https://doi.org/10.1017/s095679680500568x" @default.
- W2105815991 hasPublicationYear "2005" @default.
- W2105815991 type Work @default.
- W2105815991 sameAs 2105815991 @default.
- W2105815991 citedByCount "53" @default.
- W2105815991 countsByYear W21058159912012 @default.
- W2105815991 countsByYear W21058159912013 @default.
- W2105815991 countsByYear W21058159912014 @default.
- W2105815991 countsByYear W21058159912015 @default.
- W2105815991 countsByYear W21058159912016 @default.
- W2105815991 countsByYear W21058159912017 @default.
- W2105815991 countsByYear W21058159912018 @default.
- W2105815991 countsByYear W21058159912019 @default.
- W2105815991 countsByYear W21058159912020 @default.
- W2105815991 countsByYear W21058159912021 @default.
- W2105815991 countsByYear W21058159912022 @default.
- W2105815991 countsByYear W21058159912023 @default.
- W2105815991 crossrefType "journal-article" @default.
- W2105815991 hasAuthorship W2105815991A5021476649 @default.
- W2105815991 hasAuthorship W2105815991A5026624853 @default.
- W2105815991 hasBestOaLocation W21058159911 @default.
- W2105815991 hasConcept C104317684 @default.
- W2105815991 hasConcept C11413529 @default.
- W2105815991 hasConcept C151730666 @default.
- W2105815991 hasConcept C158448853 @default.
- W2105815991 hasConcept C165696696 @default.
- W2105815991 hasConcept C17020691 @default.
- W2105815991 hasConcept C177264268 @default.
- W2105815991 hasConcept C185592680 @default.
- W2105815991 hasConcept C188027245 @default.
- W2105815991 hasConcept C199360897 @default.
- W2105815991 hasConcept C27508121 @default.
- W2105815991 hasConcept C2776235265 @default.
- W2105815991 hasConcept C2776760102 @default.
- W2105815991 hasConcept C2778701210 @default.
- W2105815991 hasConcept C2779343474 @default.
- W2105815991 hasConcept C38652104 @default.
- W2105815991 hasConcept C41008148 @default.
- W2105815991 hasConcept C45374587 @default.
- W2105815991 hasConcept C55493867 @default.
- W2105815991 hasConcept C71139939 @default.
- W2105815991 hasConcept C80444323 @default.
- W2105815991 hasConcept C86339819 @default.
- W2105815991 hasConcept C86803240 @default.