Matches in SemOpenAlex for { <https://semopenalex.org/work/W2118068787> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2118068787 abstract "The type and effect discipline, a framework for reconstructing the principal type and the minimal effect of expressions in implicitly typed polymorphic functional languages that support imperative constructs, is introduced. The type and effect discipline outperforms other polymorphic type systems. Just as types abstract collections of concrete values, effects denote imperative operations on regions. Regions abstract sets of possibly aliased memory locations. Effects are used to control type generalization in the presence of imperative constructs while regions delimit observable side effects. The observable effects of an expression range over the regions that are free in its type environment and its type; effects related to local data structures can be discarded during type reconstruction. The type of an expression can be generalized with respect to the variables that are not free in the type environment or in the observable effect.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2118068787 created "2016-06-24" @default.
- W2118068787 creator A5010968465 @default.
- W2118068787 creator A5032377317 @default.
- W2118068787 date "2003-01-02" @default.
- W2118068787 modified "2023-10-17" @default.
- W2118068787 title "The type and effect discipline" @default.
- W2118068787 cites W1971105699 @default.
- W2118068787 cites W1997897465 @default.
- W2118068787 cites W2017381819 @default.
- W2118068787 cites W2046137117 @default.
- W2118068787 cites W2062145157 @default.
- W2118068787 cites W2079958455 @default.
- W2118068787 cites W2083697466 @default.
- W2118068787 cites W2100738443 @default.
- W2118068787 cites W2110135416 @default.
- W2118068787 cites W2118068787 @default.
- W2118068787 cites W2132500556 @default.
- W2118068787 cites W2166822586 @default.
- W2118068787 doi "https://doi.org/10.1109/lics.1992.185530" @default.
- W2118068787 hasPublicationYear "2003" @default.
- W2118068787 type Work @default.
- W2118068787 sameAs 2118068787 @default.
- W2118068787 citedByCount "74" @default.
- W2118068787 countsByYear W21180687872012 @default.
- W2118068787 countsByYear W21180687872013 @default.
- W2118068787 countsByYear W21180687872014 @default.
- W2118068787 countsByYear W21180687872016 @default.
- W2118068787 countsByYear W21180687872017 @default.
- W2118068787 countsByYear W21180687872018 @default.
- W2118068787 countsByYear W21180687872020 @default.
- W2118068787 countsByYear W21180687872021 @default.
- W2118068787 crossrefType "proceedings-article" @default.
- W2118068787 hasAuthorship W2118068787A5010968465 @default.
- W2118068787 hasAuthorship W2118068787A5032377317 @default.
- W2118068787 hasConcept C111919701 @default.
- W2118068787 hasConcept C121332964 @default.
- W2118068787 hasConcept C134306372 @default.
- W2118068787 hasConcept C138958017 @default.
- W2118068787 hasConcept C144559511 @default.
- W2118068787 hasConcept C154945302 @default.
- W2118068787 hasConcept C177148314 @default.
- W2118068787 hasConcept C18903297 @default.
- W2118068787 hasConcept C199360897 @default.
- W2118068787 hasConcept C2777299769 @default.
- W2118068787 hasConcept C32848918 @default.
- W2118068787 hasConcept C33923547 @default.
- W2118068787 hasConcept C41008148 @default.
- W2118068787 hasConcept C62520636 @default.
- W2118068787 hasConcept C80444323 @default.
- W2118068787 hasConcept C86803240 @default.
- W2118068787 hasConcept C90559484 @default.
- W2118068787 hasConcept C93682546 @default.
- W2118068787 hasConceptScore W2118068787C111919701 @default.
- W2118068787 hasConceptScore W2118068787C121332964 @default.
- W2118068787 hasConceptScore W2118068787C134306372 @default.
- W2118068787 hasConceptScore W2118068787C138958017 @default.
- W2118068787 hasConceptScore W2118068787C144559511 @default.
- W2118068787 hasConceptScore W2118068787C154945302 @default.
- W2118068787 hasConceptScore W2118068787C177148314 @default.
- W2118068787 hasConceptScore W2118068787C18903297 @default.
- W2118068787 hasConceptScore W2118068787C199360897 @default.
- W2118068787 hasConceptScore W2118068787C2777299769 @default.
- W2118068787 hasConceptScore W2118068787C32848918 @default.
- W2118068787 hasConceptScore W2118068787C33923547 @default.
- W2118068787 hasConceptScore W2118068787C41008148 @default.
- W2118068787 hasConceptScore W2118068787C62520636 @default.
- W2118068787 hasConceptScore W2118068787C80444323 @default.
- W2118068787 hasConceptScore W2118068787C86803240 @default.
- W2118068787 hasConceptScore W2118068787C90559484 @default.
- W2118068787 hasConceptScore W2118068787C93682546 @default.
- W2118068787 hasLocation W21180687871 @default.
- W2118068787 hasOpenAccess W2118068787 @default.
- W2118068787 hasPrimaryLocation W21180687871 @default.
- W2118068787 hasRelatedWork W1480879962 @default.
- W2118068787 hasRelatedWork W1565501066 @default.
- W2118068787 hasRelatedWork W168996756 @default.
- W2118068787 hasRelatedWork W2118002698 @default.
- W2118068787 hasRelatedWork W2139102157 @default.
- W2118068787 hasRelatedWork W2167486301 @default.
- W2118068787 hasRelatedWork W2763815264 @default.
- W2118068787 hasRelatedWork W2952657391 @default.
- W2118068787 hasRelatedWork W4233387348 @default.
- W2118068787 hasRelatedWork W2946992918 @default.
- W2118068787 isParatext "false" @default.
- W2118068787 isRetracted "false" @default.
- W2118068787 magId "2118068787" @default.
- W2118068787 workType "article" @default.